Deductive systems and categories

zbMATH Open0999.18001MaRDI QIDQ2774635FDOQ2774635

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

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

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

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)

Cited In (7)

• On some connections between logic and category theory
• Representing conjunctive deductions by disjunctive deductions
• Title not available (Why is that?)
• Key notions of Tarski's methodology of deductive systems
• Deduction as reduction, from a categorical point of view
• Minimal Categorical System and Predication Theory In Porphyry
• Title not available (Why is that?)

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)