Minimal negation in the ternary relational semantics

zbMATH Open1105.03022MaRDI QIDQ5488259FDOQ5488259

Authors:

Publication date: 14 September 2006

Recommendations

• scientific article; zbMATH DE number 1916521
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective
• The system Bp\(_+\): a minimal positive logic for minimal negation
• Relevance logics and intuitionistic negation. II. Negation introduced with the unary connective
• Routley-Meyer ternary relational semantics for intuitionistic-type negations

zbMATH Keywords

positive relevance logic

Mathematics Subject Classification ID

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

Cited In (8)

• Polarity semantics for negation as a modal operator
• The system Bp\(_+\): a minimal positive logic for minimal negation
• Title not available (Why is that?)
• The basic constructive logic for negation-consistency
• Title not available (Why is that?)
• Negation and minimality in disjunctive databases
• Title not available (Why is that?)
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective

This page was built for publication: Minimal negation in the ternary relational semantics

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