Deductive systems and categories
From MaRDI portal
Publication:2774635
zbMATH Open0999.18001MaRDI QIDQ2774635
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.)
Graphs, diagram schemes, precategories (18A10) Definitions and generalizations in theory of categories (18A05) Foundations, relations to logic and deductive systems (18A15)
Related Items (5)
Deduction as reduction, from a categorical point of view ⋮ Minimal Categorical System and Predication Theory In Porphyry ⋮ Key notions of Tarski's methodology of deductive systems ⋮ Title not available (Why is that?) ⋮ 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)
