Models of deduction

DOI10.1007/s11229-004-6290-7zbMath1103.03052OpenAlexW2000838844MaRDI QIDQ2500815

Kosta Došen

Publication date: 18 August 2006

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-004-6290-7

zbMATH Keywords

adjoint situationpropositional identitycategorial proof theorygeometrical model of adjunction

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Gödel on deduction ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Inferential Semantics ⋮ Isomorphic formulae in classical propositional logic

Cites Work

• Unnamed Item
• Logical constants as punctuation marks
• Interpolants, cut elimination and flow graphs for the propositional calculus
• The undecidability of \(k\)-provability
• A generalization of the functorial calculus
• Coherence in closed categories
• Adjointness in Foundations
• Functional completeness of cartesian categories
• Deductive Completeness

This page was built for publication: Models of deduction