scientific article; zbMATH DE number 1916521

MaRDI QIDQ4807690zbMATH OpenFDO

Authors

Publication date 17 March 2004

zbMATH Keywords

Routley-Meyer type relational semanticslogic of entailmentminimal logic negation

Mathematics Subject Classification ID

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

Recommendations

• The system Bp\(_+\): a minimal positive logic for minimal negation
• Minimal negation in the ternary relational semantics
• Subminimal negation
• On negatively equivalent extensions of minimal logic
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective

Cited in

(11)

• Polarity semantics for negation as a modal operator
• A study of subminimal logics of negation and their modal companions
• The system Bp\(_+\): a minimal positive logic for minimal negation
• Subminimal negation
• scientific article; zbMATH DE number 2097566 (Why is no real title available?)
• scientific article; zbMATH DE number 4148060 (Why is no real title available?)
• Minimal negation in the ternary relational semantics
• On a substructural logic with minimal negation
• Negative equivalence of extensions of minimal logic
• scientific article; zbMATH DE number 3863168 (Why is no real title available?)
• The basic constructive logic for a weak sense of consistency

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 Q4807690)