The simple consistency of a set theory based on the logic ${\rm CSQ}$
Notre Dame Journal of Formal Logic 24 (4):431-449 (1983)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRoss T. Brady (forthcoming). The Simple Consistency of Naive Set Theory Using Metavaluations. Journal of Philosophical Logic:1-21.
V. H. Hahanyan (1981). The Consistency of Some Intuitionistic and Constructive Principles with a Set Theory. Studia Logica 40 (3):237 - 248.
Gilles Dowek & Olivier Hermant (2012). A Simple Proof That Super-Consistency Implies Cut Elimination. Notre Dame Journal of Formal Logic 53 (4):439-456.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
John P. Burgess (2004). E Pluribus Unum: Plural Logic and Set Theory. Philosophia Mathematica 12 (3):193-221.
George J. Tourlakis (2003). Lectures in Logic and Set Theory. Cambridge University Press.
Harvey Friedman (1973). The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic. Journal of Symbolic Logic 38 (2):315-319.
J. Hage (2000). Rule Consistency. Law and Philosophy 19 (3):369-390.
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Kevin Knight (2002). Measuring Inconsistency. Journal of Philosophical Logic 31 (1):77-98.
Kazushige Terui (2004). Light Affine Set Theory: A Naive Set Theory of Polynomial Time. Studia Logica 77 (1):9 - 40.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
José M. Méndez & Gemma Robles (2009). The Basic Constructive Logic for Absolute Consistency. Journal of Logic, Language and Information 18 (2).
Gregory H. Moore (1980). Beyond First-Order Logic: The Historical Interplay Between Mathematical Logic and Axiomatic Set Theory. History and Philosophy of Logic 1 (1-2):95-137.
George Kafkoulis (1994). The Consistency Strength of an Infinitary Ramsey Property. Journal of Symbolic Logic 59 (4):1158-1195.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads8 ( #123,161 of 549,113 )Recent downloads (6 months)1 ( #63,361 of 549,113 )How can I increase my downloads? |
My notes
Discussion
