Publication:3376920

zbMath1153.03003MaRDI QIDQ3376920

Kosta Došen, Zoran Petrić

Publication date: 27 March 2006

zbMATH Keywords

coherence; categorical logic; Boolean category; categorical semantics of classical logic

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03G30: Categorical logic, topoi

03F05: Cut-elimination and normal-form theorems

03B05: Classical propositional logic

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03F03: Proof theory in general (including proof-theoretic semantics)

03B20: Subsystems of classical logic (including intuitionistic logic)

18A15: Foundations, relations to logic and deductive systems

Related Items

Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Associativity as commutativity, Coherence for modalities, Medial commutativity, Equality of proofs for linear equality, Coherence in linear predicate logic, Coherence in SMCCs and equivalences on derivations in IMML with unit, Coherence for star-autonomous categories