Isomorphic formulae in classical propositional logic

DOI10.1002/malq.201020020zbMath1262.03119arXiv0912.1271OpenAlexW2963219170MaRDI QIDQ3117775

Zoran Petrić, Kosta Došen

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

zbMATH Keywords

categoriesclassical propositional logicidentity of proofscategorial coherenceclassical linear propositional logicequality of deductionsisomorphic formulae

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Classical propositional logic (03B05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Logics of synonymy

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

This page was built for publication: Isomorphic formulae in classical propositional logic