Minimal Categorical System and Predication Theory In Porphyry

DOI10.21146/2074-1472-2017-23-1-140-150zbMATH Open1417.03033OpenAlexW2725151624MaRDI QIDQ5365408

Sergei Garin

Publication date: 6 October 2017

Published in: Logical Investigations (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.21146/2074-1472-2017-23-1-140-150

zbMATH Keywords

categoriesAristotlehistory of logicpredication

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of Greek and Roman mathematics (01A20)

Recommendations

• Title not available (Why is that?) 👍 👎
• Elementary categorial logic, predicates of variable degree, and theory of quantity 👍 👎
• Tiny models of categorical theories 👍 👎
• A minimal predicative set theory 👍 👎
• Minimal complete propositional natural deduction systems 👍 👎
• A categorical model of predicate linear logic 👍 👎
• The predicative Frege hierarchy 👍 👎
• Deductive systems and categories 👍 👎
• Minimal predicates, fixed-points, and definability 👍 👎

This page was built for publication: Minimal Categorical System and Predication Theory In Porphyry

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