A unified semantic framework for fully structural propositional sequent systems

DOI10.1145/2528930MaRDI QIDQ2946716zbMATH OpenOpenAlexFDO

Authors Ori Lahav, Arnon Avron

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2528930

zbMATH Keywords

analyticityaxiom expansioncut admissibilityKripke semanticsnondeterministic semanticsproof theorysemantic characterizationsequent calculi

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Kripke Semantics for Basic Sequent Systems
• Proof analysis in non-classical logics
• Modular sequent systems for modal logic
• Semantic investigation of canonical Gödel hypersequent systems
• Distributive-lattice semantics of sequent calculi with structural rules

Cited in

(16)

• Compositional meaning in logic
• Sequent systems for negative modalities
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic
• Disentangling structural connectives or life without display property
• Negative modalities, consistency and determinedness
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS
• Analytic cut and interpolation for bi-intuitionistic logic
• Analytic proofs for tense logic
• Non-deterministic semantics for cocanonical and semi-cocanonical deduction systems
• Nested sequents or tree-hypersequents -- a survey
• Algebraic proof theory: hypersequents and hypercompletions
• K and KT: an analytic non-deterministic view
• The bounded proof property via step algebras and step frames

This page was built for publication: A unified semantic framework for fully structural propositional sequent systems

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