Isomorphic formulae in classical propositional logic
From MaRDI portal
Publication:3117775
DOI10.1002/malq.201020020zbMath1262.03119arXiv0912.1271MaRDI QIDQ3117775
Publication date: 29 February 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0912.1271
categories; classical propositional logic; identity of proofs; categorial coherence; classical linear propositional logic; equality of deductions; isomorphic formulae
03G30: Categorical logic, topoi
03B05: Classical propositional logic
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03F03: Proof theory in general (including proof-theoretic semantics)
Related Items
Cites Work
- Unnamed Item
- Remarks on isomorphisms in typed lambda calculi with empty and sum types
- Models of deduction
- Coherence in closed categories
- Generality of proofs and its Brauerian representation
- Alonzo Church's Contributions to Philosophy and Intensional Logic
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
- Isomorphic objects in symmetric monoidal closed categories
- A Brauerian representation of split preorders
- Identity of Proofs Based on Normalization and Generality
- Tarski's High School Identities