scientific article; zbMATH DE number 1418442

MaRDI QIDQ4941997zbMATH OpenFDO

Authors Giulia Battilotti, Giovanni Sambin

Publication date 26 July 2001

zbMATH Keywords

basic propositional logic system Bclassical logicextensionsintuitionistic logiclinear logicorthologic

Mathematics Subject Classification ID

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

Review text

A propositional system B is given by a set of Gentzen-type rules. Among the extensions considered here are classical and intuitionistic logic, orthologic and classical and intuitionistic linear logic. For the entire collection see [Zbl 0927.00020].

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)