A proper subsystem of ${\rm S}4.{\rm O}4.$

Notre Dame Journal of Formal Logic 12 (3):381-384 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894303

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

Modal system ${\rm S}3$ and the proper axioms of ${\rm S}4.02$ and ${\rm S}4.04$.Bolesław Sobociński - 1973 - Notre Dame Journal of Formal Logic 14 (3):415-418.
Intuitionist logic — subsystem of, extension of, or rival to, classical logic?Richard Sylvan - 1988 - Philosophical Studies 53 (1):147 - 151.
A translation of intuitionistic predicate logic into basic predicate logic.Mohammad Ardeshir - 1999 - Studia Logica 62 (3):341-352.
On the strength of könig's duality theorem for countable bipartite graphs.Stephen G. Simpson - 1994 - Journal of Symbolic Logic 59 (1):113-123.
On the consistency of an impredicative subsystem of Quine's NF.Marcel Crabbé - 1982 - Journal of Symbolic Logic 47 (1):131-136.
On the linguistic complexity of proper names.Ora Matushansky - 2008 - Linguistics and Philosophy 31 (5):573-627.
Proper names and persons: Peirce's semiotic consideration of proper names.Eric Thomas Weber - 2008 - Transactions of the Charles S. Peirce Society 44 (2):pp. 346-362.
Was Hume a proper functionalist?Kevin Meeker - 2006 - Philosophy and Phenomenological Research 72 (1):120–136.
On a Consistent Subsystem of Frege's Grundgesetze.John P. Burgess - 1998 - Notre Dame Journal of Formal Logic 39 (2):274-278.
Some Remarks on an Implementation of the Burgean View of Proper Names.Yu Izumi - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:79-88.
Causality, referring, and proper names.David S. Schwarz - 1978 - Linguistics and Philosophy 2 (2):225 - 233.
Leonard, Goodman, and the development of the calculus of individuals.Marcus Rossberg - 2009 - In G. Ernst, O. Scholz & J. Steinbrenner (eds.), Nelson Goodman: From Logic to Art. Ontos.
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.

Analytics

Added to PP
2010-08-24

Downloads
6 (#1,430,516)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references