Sequent systems for negative modalities

DOI10.1007/S11787-017-0175-2MaRDI QIDQ1682296zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ori Lahav, João Marcos, Yoni Zohar

Publication date 29 November 2017

Published in Logica Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1706.05945

zbMATH Keywords

analyticitysequent systemscut admissibilitynegative modalities

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Cut-elimination and normal-form theorems (03F05)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 6863659
• Negative modalities, consistency and determinedness
• Publication:3028976
• Negation in the light of modal logic
• Normal modal substructural logics with strong negation

Cites work

• scientific article; zbMATH DE number 4132132 (Why is no real title available?)
• scientific article; zbMATH DE number 3884136 (Why is no real title available?)
• scientific article; zbMATH DE number 3139759 (Why is no real title available?)
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3689368 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2024614 (Why is no real title available?)
• scientific article; zbMATH DE number 6863636 (Why is no real title available?)
• scientific article; zbMATH DE number 6863659 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3192057 (Why is no real title available?)
• A propositional calculus for inconsistent deductive systems
• A unified semantic framework for fully structural propositional sequent systems
• Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism
• Combining possibilities and negations
• Efficient reasoning with inconsistent information using C-systems
• Gentzen calculi for modal propositional logic
• Modal and temporal extensions of non-distributive propositional logics
• Natural deduction, hybrid systems and modal logics
• Nearly every normal modal logic is paranormal
• Negation in the context of gaggle theory
• Negative modalities, consistency and determinedness
• On negation: Pure local rules
• Paraconsistent logic from a modal viewpoint
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Proof methods for modal and intuitionistic logics
• SAT-based decision procedure for analytic pure sequent calculi
• Sequent calculi and decision procedures for weak modal systems
• Sequential Calculus for a First Order Infinitary Temporal Logic
• Substructural negations
• Theory of logical calculi. Basic theory of consequence operations
• Unified correspondence as a proof-theoretic tool

Cited in

(7)

• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• The meaning of negative premises in transition system specifications. II
• Negative modalities, consistency and determinedness
• Compositional meaning in logic
• On logics of perfect paradefinite algebras
• scientific article; zbMATH DE number 6863659 (Why is no real title available?)
• scientific article; zbMATH DE number 176757 (Why is no real title available?)

This page was built for publication: Sequent systems for negative modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1682296)