Axiomatics; The Development of Mathematical Logic; Propositional Calculus

, , &
Philosophical Review 73 (1):127 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2183215

Links

PhilArchive



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

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

Axiomatics.Propositional Calculus.R. H. Stoothoff, Robert Blanche, G. B. Keene & P. H. Nidditch - 1963 - Philosophical Quarterly 13 (52):278.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics.Johannes Lenhard - 2005 - Philosophia Scientiae 9 (2: Aperçus philosophiques en log):97-107.
Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.
Review: C. A. Meredith, A. N. Prior, Notes on the Axiomatics of the Propositional Calculus. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-307.
Propositional calculus.Peter Harold Nidditch - 1962 - New York,: Dover Publications.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1970 - New York: Dover Publications. Edited by Elliott Mendelson.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Basic Propositional Calculus II. Interpolation: II. Interpolation.Mohammad Ardeshir & Wim Ruitenburg - 2001 - Archive for Mathematical Logic 40 (5):349-364.
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.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.

Analytics

Added to PP
2016-09-07

Downloads
14 (#990,629)

6 months
3 (#976,478)

Historical graph of downloads
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