The system Bp_+: a minimal positive logic for minimal negation

zbMATH Open1152.03016MaRDI QIDQ3533295FDOQ3533295

Authors:

Publication date: 23 October 2008

Recommendations

• scientific article; zbMATH DE number 1916521
• Minimal negation in the ternary relational semantics
• Subminimal negation
• Relevance logics and intuitionistic negation
• A constructive negation defined with a negation connective for logics including Bp\(_+\)

zbMATH Keywords

relevance logicsconstructive negationternary relational semanticsminimal negation

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited In (2)

• Title not available (Why is that?)
• Minimal negation in the ternary relational semantics

This page was built for publication: The system Bp\(_+\): a minimal positive logic for minimal negation

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