Proof Theory
From MaRDI portal
Publication:5418473
DOI10.1201/b17294zbMath1302.03001OpenAlexW4252578296MaRDI QIDQ5418473
Publication date: 4 June 2014
Full work available at URL: https://doi.org/10.1201/b17294
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (16)
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning ⋮ On structural features of the implication fragment of Frege's \textit{Grundgesetze} ⋮ A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ Proof theory for functional modal logic ⋮ Tracking Information ⋮ Default Rules in the Logic of First-Degree Entailments ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ The decidability of the intensional fragment of classical linear logic ⋮ A cut-elimination proof in positive relevant logic with necessity ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ Sequent calculi for global modal consequence relations ⋮ Interpretations of Weak Positive Modal Logics ⋮ R-Mingle is Nice, and so is Arnon Avron
This page was built for publication: Proof Theory
