scientific article; zbMATH DE number 1916521

zbMATH Open1032.03006MaRDI QIDQ4807690FDOQ4807690

Authors:

Publication date: 17 March 2004

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Minimal negation in the ternary relational semantics
• Title not available (Why is that?)
• On a substructural logic with minimal negation
• Negative equivalence of extensions of minimal logic
• Title not available (Why is that?)
• 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)