Simons Leo. New axiomatizations of S3 and S4

Journal of Symbolic Logic 19 (4):293-294 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267752

Links

PhilArchive



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

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

New axiomatizations of s3 and S.Leo Simons - 1953 - Journal of Symbolic Logic 18 (4):309-316.
Review: Leo Simons, A Reduction in the Number of Independent Axiom Schemata for S4. [REVIEW]Naoto Yonemitsu - 1967 - Journal of Symbolic Logic 32 (2):245-245.
Pieces of mereology.Andrzej Pietruszczak - 2005 - Logic and Logical Philosophy 14 (2):211-234.
New axiomatizations of Vern.David B. Martens - 2002 - Logica Trianguli 6:21-24.
Content & Watkins's account of natural axiomatizations.Ken Gemes - 2006 - Dialectica 60 (1):85–92.
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.
Axiomatizations with context rules of inference in modal logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Objection to Simons’ Nuclear Theory.Takeshi Akiba - 2008 - Proceedings of the Xxii World Congress of Philosophy 17:7-13.
Concentration phenomena of two-vortex solutions in a Chern-Simons model.Chiun-Chuan Chen, Chang-Shou Lin & Guofang Wang - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (2):367-397.
Axiomatization of set theory by extensionality, separation, and reducibility.Harvey Friedman - manuscript
I_– _Peter Simons.Peter Simons - 2000 - Aristotelian Society Supplementary Volume 74 (1):59-75.
The axiomatization of physical theories.Herbert A. Simon - 1970 - Philosophy of Science 37 (1):16-26.
Parts: a study in ontology.Peter M. Simons - 1987 - New York: Oxford University Press.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.

Analytics

Added to PP
2013-11-22

Downloads
11 (#1,128,105)

6 months
2 (#1,202,576)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references