Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction Axiom

&
Notre Dame Journal of Formal Logic 36 (3):407-413 (1995)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040149356

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
Intuitionistic propositional logic without 'contraction' but with 'reductio'.J. M. Méndez & F. Salto - 2000 - Studia Logica 66 (3):409-418.
Connectification forn-contraction.Andreja Prijatelj - 1995 - Studia Logica 54 (2):149 - 171.
A natural negation completion of Urquhart's many-valued logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
Comments on some completeness theorems of Urquhart and méndez & Salto.Kenneth Harris & Branden Fitelson - 2001 - Journal of Philosophical Logic 30 (1):51-55.
And negations.Greg Restall - unknown
Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Dummett on Impredicativity.Alan Weir - 1998 - Grazer Philosophische Studien 55 (1):65-101.
Combining possibilities and negations.Greg Restall - 1997 - Studia Logica 59 (1):121-141.
Contrariety and Subcontrariety: The Anatomy of Negation (with Special Reference to an Example of J.-Y. Béziau).Lloyd Humberstone - 2005 - Theoria 71 (3):241-262.
Fuzzy intuitionistic quantum logics.Gianpiero Cattaneo, Maria L. Dalla Chiara & Roberto Giuntini - 1993 - Studia Logica 52 (3):419 - 442.

Analytics

Added to PP
2010-08-24

Downloads
34 (#445,975)

6 months
13 (#165,103)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

José M. Méndez
Universidad de Salamanca
Francisco Salto
Universidad de León

Citations of this work

For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.

Add more citations

References found in this work

A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.

Add more references