Non-classical logics and the independence results of set theory

Theoria 38 (3):133-142 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1972.tb00929.x

Links

PhilArchive



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

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

On modal logics characterized by models with relative accessibility relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Set Theory: Boolean-Valued Models and Independence Proofs.John L. Bell - 2011 - Oxford University Press.
On modal logics characterized by models with relative accessibility relations: Part I.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 65 (3):323-353.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Justification logics, logics of knowledge, and conservativity.Melvin Fitting - unknown
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Explicit logics of knowledge and conservativity.Melvin Fitting - unknown
Constructibility and Decidability versus Domain Independence and Absoluteness.Arnon Avron - unknown
Counting the maximal intermediate constructive logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.

Analytics

Added to PP
2010-09-13

Downloads
50 (#311,977)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Set theory and the continuum hypothesis.Paul J. Cohen - 1966 - New York,: W. A. Benjamin.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..

View all 9 references / Add more references