Proof theory. Sequent calculi and related formalisms
From MaRDI portal
(Redirected from Publication:5418473)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Recommendations
Cited in
(26)- scientific article; zbMATH DE number 1907195 (Why is no real title available?)
- Default rules in the logic of first-degree entailments
- scientific article; zbMATH DE number 1526721 (Why is no real title available?)
- Proof theory for functional modal logic
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- Proof theory and algebra in logic
- Substructural logics: a primer
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- On structural features of the implication fragment of Frege's \textit{Grundgesetze}
- A survey of nonstandard sequent calculus
- Entailment, mingle and binary accessibility
- Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- R-Mingle is Nice, and so is Arnon Avron
- Sequent calculi for global modal consequence relations
- A cut-elimination proof in positive relevant logic with necessity
- Stoic Sequent Logic and Proof Theory
- The decidability of the intensional fragment of classical linear logic
- Structural proof theory. With an appendix by Aarne Ranta
- A cut-free sequent calculus for defeasible erotetic inferences
- Larisa Maksimova’s Early Contributions to Relevance Logic
- Interpretations of weak positive modal logics
- Requiem for logical nihilism, or: logical nihilism annihilated
- A note on contradictions in Francez-Weiss logics
- Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation
- Tracking information
This page was built for publication: Proof theory. Sequent calculi and related formalisms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5418473)
