scientific article; zbMATH DE number 4174898

zbMATH Open0714.03021MaRDI QIDQ3199396FDOQ3199396

Authors

Publication date 1989

zbMATH Keywords

relevance logicssemantics of the Routley-Meyer typeUrquhart's C

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4148060
• A natural negation completion of Urquhart's many-valued logic \(C\)
• scientific article; zbMATH DE number 1222563
• Routley-Meyer ternary relational semantics for intuitionistic-type negations
• A reinterpretation of the semilattice semantics with applications

Cited in

(1)

• A natural negation completion of Urquhart's many-valued logic \(C\)

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