Kripke Semantics for Basic Sequent Systems

DOI10.1007/978-3-642-22119-4_6MaRDI QIDQ3010359zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A kripke-kleene semantics for logic programs*
• Kripke semantics for knowledge representation logics
• scientific article; zbMATH DE number 912320
• Kripke semantics for modal bilattice logic
• Sequent-systems for modal logic
• Kripke semantics for the logic of problems and propositions
• scientific article; zbMATH DE number 1251244
• Kripke semantics for modal substructural logics
• scientific article; zbMATH DE number 1523418
• scientific article; zbMATH DE number 3860378

Cites work

• scientific article; zbMATH DE number 2042613 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• A non-deterministic view on non-classical negations
• Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic
• Gentzen-type systems, resolution and tableaux
• Logic of infons, the propositional case
• On constructive connectives and systems
• On modal systems having arithmetical interpretations
• On some intuitionistic modal logics
• Proof search and counter-model construction for bi-intuitionistic propositional logic with labelled sequents
• Subtractive logic
• The modal logic of provability. The sequential approach
• Towards a semantic characterization of cut-elimination

Cited in

(6)

• Algebraic proof theory for substructural logics: cut-elimination and completions
• Semantic characterization of Kracht formulas
• A connection-based characterization of bi-intuitionistic validity
• scientific article; zbMATH DE number 177255 (Why is no real title available?)
• The bounded proof property via step algebras and step frames
• A unified semantic framework for fully structural propositional sequent systems

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

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