Number of Extensions of Non-Fregean Logics

Journal of Philosophical Logic 34 (2):193-206 (2005)
  Copy   BIBTEX

Abstract

We show that there are continuum many different extensions of SCI (the basic theory of non-Fregean propositional logic) that lie below WF (the Fregean extension) and are closed under substitution. Moreover, continuum many of them are independent from WB (the Boolean extension), continuum many lie above WB and are independent from WH (the Boolean extension with only two values for the equality relation), and only countably many lie between WH and WF

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

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

Through your library

Similar books and articles

Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI.Joanna Golinska-Pilarek - 2007 - Journal of Applied Non-Classical Logics 17 (4):509–517.
Interpolation in fuzzy logic.Matthias Baaz & Helmut Veith - 1999 - Archive for Mathematical Logic 38 (7):461-489.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
Where gamma fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
Filters and natural extensions of closure systems.Roman Suszko & Tamara Weinfeld - 1979 - Bulletin of the Section of Logic 8 (3):130-132.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Bimodal logics for extensions of arithmetical theories.Lev D. Beklemishev - 1996 - Journal of Symbolic Logic 61 (1):91-124.
Polymodal Logics of Commuting Functions.Aleksey Kravtsov - 2002 - Logic Journal of the IGPL 10 (5):517-533.

Analytics

Added to PP
2009-01-28

Downloads
51 (#320,237)

6 months
18 (#153,017)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joanna Golinska-Pilarek
University of Warsaw

Citations of this work

Non-Fregean Propositional Logic with Quantifiers.Joanna Golińska-Pilarek & Taneli Huuskonen - 2016 - Notre Dame Journal of Formal Logic 57 (2):249-279.
Do We Need Mathematical Facts?Wojciech Krysztofiak - 2014 - History and Philosophy of Logic 35 (1):1-32.
Hyper-Slingshot. Is Fact-Arithmetic Possible?Wojciech Krysztofiak - 2015 - Foundations of Science 20 (1):59-76.

Add more citations