Comments on some completeness theorems of Urquhart and Méndez \& Salto

DOI10.1023/A:1017549804474zbMath0993.03027OpenAlexW2091576788MaRDI QIDQ5935786

Branden Fitelson, Kenneth D. Harris

Publication date: 25 September 2002

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

Full work available at URL: https://doi.org/10.1023/a:1017549804474

zbMATH Keywords

completenessmany-valued logicsubstructural logic

Mathematics Subject Classification ID

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

Uses Software

• MaGIC

Cites Work

• Unnamed Item
• Unnamed Item
• A natural negation completion of Urquhart's many-valued logic \(C\)
• Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
• A propositional calculus with denumerable matrix
• Distributivity in Ł\(_{\aleph_0}\) and other sentential logics

This page was built for publication: Comments on some completeness theorems of Urquhart and Méndez \& Salto