Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
Open Access
- 1 July 1995
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 36 (3) , 407-413
- https://doi.org/10.1305/ndjfl/1040149356
Abstract
Project Euclid - mathematics and statistics onlineThis publication has 3 references indexed in Scilit:
- Many-valued LogicPublished by Springer Nature ,1986
- Logics without the contraction ruleThe Journal of Symbolic Logic, 1985
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959