scientific article; zbMATH DE number 4174898

zbMATH Open0714.03021MaRDI QIDQ3199396FDOQ3199396

Authors:

Publication date: 1989

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

Recommendations

• scientific article
• 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

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)

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)