A Set of Axioms of the Modal Propositional Calculus Equivalent to S3

Journal of Symbolic Logic 20 (2):169-169 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266910

Links

PhilArchive



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

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

Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4. [REVIEW]A. N. Prior - 1957 - Journal of Symbolic Logic 22 (3):326-327.
Review: Arata Ishimoto, A Set of Axioms of the Modal Propositional Calculus Equivalent to S3. [REVIEW]A. N. Prior - 1955 - Journal of Symbolic Logic 20 (2):169-169.
A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3.".Arata Ishimoto - 1957 - Journal of Symbolic Logic 22 (3):326-327.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
A cut-free simple sequent calculus for modal logic S5.Francesca Poggiolesi - 2008 - Review of Symbolic Logic 1 (1):3-15.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Fundamental axioms for preference relations.Bengt Hansson - 1968 - Synthese 18 (4):423 - 442.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
Review: Charles E. Caton, A Stipulation of Logical Truth in a Modal Propositional Calculus; Charles E. Caton, A Stipulation of a Modal Propositional Calculus in Terms of Modalized Truth-Values. [REVIEW]Gerald J. Massey - 1974 - Journal of Symbolic Logic 39 (3):611-611.
On Béziau’s logic Z.Hitoshi Omori & Toshiharu Waragai - 2008 - Logic and Logical Philosophy 17 (4):305-320.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Axiomatizations of intuitionistic double negation.Milan Bozic & Kosta Došen - 1983 - Bulletin of the Section of Logic 12 (2):99-102.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,806,327)

6 months
1 (#1,475,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Theory of Implication.A. N. Prior - 1963 - Mathematical Logic Quarterly 9 (1‐4):1-6.

Add more citations

References found in this work

No references found.

Add more references