Sequent Systems for Negative ModalitiesReportar como inadecuado

Sequent Systems for Negative Modalities - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Logica Universalis

pp 1–38

First Online: 17 July 2017Received: 23 November 2016Accepted: 25 May 2017


Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and proof systems, whose philosophical interpretations and computational properties are found wanting. In this paper we investigate congruential non-classical negations that live inside very natural systems of normal modal logics over complete distributive lattices; these logics are further enriched by adjustment connectives that may be used for handling reasoning under uncertainty caused by inconsistency or undeterminedness. Using such straightforward semantics, we study the classes of frames characterized by seriality, reflexivity, functionality, symmetry, transitivity, and some combinations thereof, and discuss what they reveal about sub-classical properties of negation. To the logics thereby characterized we apply a general mechanism that allows one to endow them with analytic ordinary sequent systems, most of which are even cut-free. We also investigate the exact circumstances that allow for classical negation to be explicitly defined inside our logics.

KeywordsNegative modalities sequent systems cut-admissibility Analyticity A preliminary and abbreviated version of the results in this paper was presented at the 11th International Conference on Advances in Modal Logic cf. 22.

Mathematics Subject Classification03B53 03B60 03B45 03F05  Download to read the full article text

Autor: Ori Lahav - João Marcos - Yoni Zohar



Documentos relacionados