scientific article; zbMATH DE number 1418442

zbMATH Open0965.03009MaRDI QIDQ4941997FDOQ4941997

Authors Giulia Battilotti, Giovanni Sambin

Publication date 26 July 2001

zbMATH Keywords

extensionsintuitionistic logiclinear logicclassical logicorthologicbasic propositional logic system B

Mathematics Subject Classification ID

Classical propositional logic (03B05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Logic on the \(n\)-cube
• Logical extensions of Aristotle's square
• An expansion of basic logic with fixed points
• On extensions of basic propositional logic
• scientific article; zbMATH DE number 6296803
• The cube generalizing Aristotle's square in logic of determination of objects (LDO)
• A cube of opposition for predicate logic
• Logic. The basics
• Simple logics for basic algebras
• scientific article; zbMATH DE number 515725

Cited in

(2)

• Investigations into a left-structural right-substructural sequent calculus
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC

This page was built for publication:

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