Classical and Intuitionistic Negation

Southwest Philosophy Review 8 (1):157-164 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

08972346

DOI

10.5840/swphilreview19928117

Links

PhilArchive



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

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.
And negations.Greg Restall - unknown
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.
Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Algebraic proofs of cut elimination.Jeremy Avigad - manuscript
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Intuitionistic completeness for first order classical logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
Models of intuitionistic TT and N.Daniel Dzierzgowski - 1995 - Journal of Symbolic Logic 60 (2):640-653.

Analytics

Added to PP
2011-01-09

Downloads
36 (#439,788)

6 months
1 (#1,472,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references