Kripke Semantics for Basic Sequent Systems

DOI10.1007/978-3-642-22119-4_6zbMath1333.03236OpenAlexW178931755MaRDI QIDQ3010359

Arnon Avron, Ori Lahav

Publication date: 1 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_6

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ The bounded proof property via step algebras and step frames ⋮ A connection-based characterization of bi-intuitionistic validity

Cites Work

• A non-deterministic view on non-classical negations
• Towards a semantic characterization of cut-elimination
• The modal logic of provability. The sequential approach
• On some intuitionistic modal logics
• Gentzen-type systems, resolution and tableaux
• Logic of infons
• On Constructive Connectives and Systems
• Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic
• Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
• On modal systems having arithmetical interpretations
• Subtractive logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kripke Semantics for Basic Sequent Systems