Sequents and trees. An introduction to the theory and applications of propositional sequent calculi
From MaRDI portal
Publication:2007478
DOI10.1007/978-3-030-57145-0OpenAlexW3110798604MaRDI QIDQ2007478
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
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70)
Related Items (9)
A dual-context sequent calculus for the constructive modal logic S4 ⋮ Cyclic hypersequent calculi for some modal logics with the master modality ⋮ RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH ⋮ Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation ⋮ Sequent Calculi for Orthologic with Strict Implication ⋮ Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules ⋮ Neutral free logic: motivation, proof theory and models ⋮ The calculus of natural calculation ⋮ 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
