Sequents and trees. An introduction to the theory and applications of propositional sequent calculi

DOI10.1007/978-3-030-57145-0MaRDI QIDQ2007478zbMATH OpenOpenAlexFDO

Authors Andrzej Indrzejczak

Publication date 14 October 2020

Published in Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-57145-0

Mathematics Subject Classification ID

Logic in computer science (03B70) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Proof theory. Sequent calculi and related formalisms
• Proof theory and algebra in logic
• Structural proof theory. With an appendix by Aarne Ranta
• scientific article; zbMATH DE number 1215493
• A survey of nonstandard sequent calculus

Cited in

(27)

• Sequent Calculus in the Topos of Trees
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
• A dual-context sequent calculus for the constructive modal logic S4
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• Cyclic hypersequent calculi for some modal logics with the master modality
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
• Rule-elimination theorems
• A proof-theoretic view of basic intuitionistic conditional logic
• Sequent Calculi for Orthologic with Strict Implication
• Cut elimination for negative free logics with definite descriptions
• The calculus of natural calculation
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• On a second-order version of Russellian theory of definite descriptions
• A modal axiomatization of \(\mathbf{BK}\)
• SCI-sequent calculi, cut elimination and interpolation property
• Defining logical systems via algebraic constraints on proofs
• Simple sequent systems for the modal logics K, D, T, and S4
• Gentzen-type sequent calculus for modal logic S5
• Neutral free logic: motivation, proof theory and models
• A cut-free, sound and complete Russellian theory of definite descriptions
• CoNP complexity for combinations of non-normal modal logics
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Minimal modal logics, constructive modal logics and their relations
• A general schema for bilateral proof rules
• Leśniewski's ontology -- proof-theoretic characterization
• Fusion, fission, and Ackermann's truth constant in relevant logics: a proof-theoretic investigation

This page was built for publication: Sequents and trees. An introduction to the theory and applications of propositional sequent calculi

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