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

DOI10.1023/A:1017978332179zbMath0904.03011MaRDI QIDQ1386684

D. Massart

Publication date: 19 January 1999

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

Routley-Meyer relational semanticssemi-intuitionistic negationUrquhart's logic C

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom ⋮ Comments on some completeness theorems of Urquhart and Méndez \& Salto

Cites Work

• A propositional calculus with denumerable matrix
• Logics without the contraction rule
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item