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

(17)

• Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
• The calculus of natural calculation
• Sequent Calculi for Orthologic with Strict Implication
• Cyclic hypersequent calculi for some modal logics with the master modality
• A general schema for bilateral proof rules
• Leśniewski's ontology -- proof-theoretic characterization
• RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules
• A dual-context sequent calculus for the constructive modal logic S4
• 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
• Sequent Calculus in the Topos of Trees
• Neutral free logic: motivation, proof theory and models
• Rule-elimination theorems
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}

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)