Notes on the Axiomatics of the Propositional Calculus

&
Journal of Symbolic Logic 33 (2):306-307 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269922

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

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.
Axiomatics.Propositional Calculus.R. H. Stoothoff, Robert Blanche, G. B. Keene & P. H. Nidditch - 1963 - Philosophical Quarterly 13 (52):278.
Axiomatics; The Development of Mathematical Logic; Propositional Calculus.Thomas E. Patton, R. Blanche, G. B. Keene & P. H. Nidditch - 1964 - Philosophical Review 73 (1):127.
Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.
Linear axiomatics of commutative product-free Lambek calculus.Wojciech Zielonka - 1990 - Studia Logica 49 (4):515 - 522.
Sets, classes and the propositional calculus.E. Lopez-Escobar - 2005 - Manuscrito 28 (2):417-448.
Sets, Classes And The Propositional Calculus. E. Lopez-Escobar - 2006 - Manuscrito 29 (2):417-448.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
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.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Greniewski Henryk. Functors of the propositional calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, supplement to Annales de la Société Polonaise de Mathématique, vol. 22, Cracow 1950, pp. 78–86.Greniewski Henryk. Certain notions of the theory of numbers as applied to the propositional calculus. English with brief Polish summary. Časopis pro pěstováni matematiky a fysiky, vol. 74 , pp. 132–136.Greniewski Henryk. Groups and fields definable in the propositional calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania z posiedzé wydzialu III nauk matematyczno fizycznych , vol. 43 , pp. 53–48.Greniewski H.. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium matkematicum, vol. 2 no. 3–4 , pp. 291–297. [REVIEW]G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].

Analytics

Added to PP
2017-02-21

Downloads
14 (#993,044)

6 months
3 (#981,027)

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