Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
From MaRDI portal
(Redirected from Publication:2007478)
Recommendations
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)