Deductive systems and categories

MaRDI QIDQ2774635zbMATH OpenFDO

Authors Kosta Došen

Publication date 26 February 2002

Published in Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/122187

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

Yoneda lemma

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15) Graphs, diagram schemes, precategories (18A10)

Recommendations

• On some connections between logic and category theory
• Publication:4946229
• scientific article; zbMATH DE number 753772
• Point axioms and related conditions in Dedekind categories
• scientific article; zbMATH DE number 4122189

Cited in

(7)

• On some connections between logic and category theory
• Representing conjunctive deductions by disjunctive deductions
• Key notions of Tarski's methodology of deductive systems
• scientific article; zbMATH DE number 976352 (Why is no real title available?)
• Deduction as reduction, from a categorical point of view
• Minimal Categorical System and Predication Theory In Porphyry
• scientific article; zbMATH DE number 4041863 (Why is no real title available?)

This page was built for publication: Deductive systems and categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2774635)