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

DOI10.1007/978-3-030-57145-0OpenAlexW3110798604MaRDI QIDQ2007478FDOQ2007478

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)

Cited In (17)

• 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
• Sequent Calculi for Orthologic with Strict Implication
• The calculus of natural calculation
• A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
• 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
• Neutral free logic: motivation, proof theory and models
• A general schema for bilateral proof rules
• Leśniewski's ontology -- proof-theoretic characterization

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)