Translator Disclaimer
Summer 1995 Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom
José M. Méndez, Francisco Salto
Notre Dame J. Formal Logic 36(3): 407-413 (Summer 1995). DOI: 10.1305/ndjfl/1040149356

Abstract

This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction.

Citation

Download Citation

José M. Méndez. Francisco Salto. "Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom." Notre Dame J. Formal Logic 36 (3) 407 - 413, Summer 1995. https://doi.org/10.1305/ndjfl/1040149356

Information

Published: Summer 1995
First available in Project Euclid: 17 December 2002

zbMATH: 0838.03019
MathSciNet: MR1351413
Digital Object Identifier: 10.1305/ndjfl/1040149356

Subjects:
Primary: 03B55
Secondary: 03B20, 03B50

Rights: Copyright © 1995 University of Notre Dame

JOURNAL ARTICLE
7 PAGES


SHARE
Vol.36 • No. 3 • Summer 1995
Back to Top