New axiomatizations of s3 and S

Journal of Symbolic Logic 18 (4):309-316 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266554

Links

PhilArchive



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

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 the role of language in social choice theory.Marc Pauly - 2008 - Synthese 163 (2):227 - 243.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
The axiomatization of physical theories.Herbert A. Simon - 1970 - Philosophy of Science 37 (1):16-26.
Axiomatization of set theory by extensionality, separation, and reducibility.Harvey Friedman - manuscript

Analytics

Added to PP
2009-01-28

Downloads
38 (#420,102)

6 months
4 (#792,283)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Symbolic Logic.C. I. Lewis & C. H. Langford - 1932 - Erkenntnis 4 (1):65-66.
Principles of Mathematical Logic.G. Zubieta R. - 1951 - Journal of Symbolic Logic 16 (1):52-53.

Add more references