Proof theory and algebra in logic
From MaRDI portal
Publication:2419910
DOI10.1007/978-981-13-7997-0zbMath1439.03002OpenAlexW2965280176MaRDI QIDQ2419910
Publication date: 4 June 2019
Published in: Short Textbooks in Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-981-13-7997-0
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Proof theory and constructive mathematics (03Fxx) Algebraic logic (03Gxx)
Related Items (6)
Sequent calculi for the propositional logic of HYPE ⋮ A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB ⋮ IMPROVING STRONG NEGATION ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs ⋮ Double negation as minimal negation ⋮ On Blass translation for Leśniewski's propositional ontology and modal logics
This page was built for publication: Proof theory and algebra in logic