Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom

DOI10.1305/NDJFL/1040149356zbMath0838.03019OpenAlexW1968201569WikidataQ114007570 ScholiaQ114007570MaRDI QIDQ1906670

Yanyan Li

Publication date: 6 June 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040149356

zbMATH Keywords

superintuitionistic logiccontractionless logicDummett's \(\mathbf {LC}\)intuitionistic negation completion of Urquhart's system \({\mathbf C}\)

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (3)

For Want of an ‘And’: A Puzzle about Non-Conservative Extension ⋮ Comments on some completeness theorems of Urquhart and Méndez \& Salto ⋮ Kripke semantics for intuitionistic Łukasiewicz logic

Cites Work

• Unnamed Item
• The semantics of entailment. II
• A natural negation completion of Urquhart's many-valued logic \(C\)
• A propositional calculus with denumerable matrix
• Logics without the contraction rule

This page was built for publication: Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom