Logic without self-deductibility

MaRDI QIDQ5311057zbMATH OpenFDO

Authors Pierre Ageron

Publication date 22 August 2005

zbMATH Keywords

law of identityself-deductibilitytaxonomy

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Other nonclassical logic (03B60) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• scientific article; zbMATH DE number 753772
• Aristotle’s Deductive Logic: a Proof-Theoretical Study
• scientific article; zbMATH DE number 3924745
• Selfextensional logics with implication
• Locology and localistic logic: mathematical and epistemological aspects

Cited in

(7)

• Logic without contraction as based on inclusion and unrestricted abstraction
• Reasoning without minimality
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• scientific article; zbMATH DE number 753769 (Why is no real title available?)
• scientific article; zbMATH DE number 909650 (Why is no real title available?)
• From the research on logics without tautologies (part 2)
• Some dual logic without tautologies

This page was built for publication: Logic without self-deductibility

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