REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS

DOI10.1017/S175502031600037XzbMath1417.03277arXiv1511.05462OpenAlexW2962729348MaRDI QIDQ5737965

Zoran Petrić, Kosta Došen

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1511.05462

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Proof theory in general (including proof-theoretic semantics) (03F03) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding of a free cartesian-closed category into the category of sets
• Coherence in substructural categories
• Cut elimination in categories
• Syntax for split preorders
• Generality of proofs and its Brauerian representation
• Adjointness in Foundations
• Functions Redefined
• A Brauerian representation of split preorders
• Categorical algebra
• On the Paths of Categories

This page was built for publication: REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS