An axiom - system for {"K;N"} - propositional calculus related to Simons' axiomatization of S3

Notre Dame Journal of Formal Logic 3:206 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957242

Links

PhilArchive



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

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

Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.
Review: Jan Lukasiewicz, Concerning an Axiom System of the Implicational Propositional Calculus. [REVIEW]Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (2):173-174.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Some results on Jaśkowski’s discursive logic.Lafayette De Moraes & Jair Minoro Abe - 2001 - Logic and Logical Philosophy 9:25.
Review: Boleslaw Sobocinski, Axiomatization of a Partial System of Three-Value Calculus of Propositions. [REVIEW]Gene F. Rose - 1953 - Journal of Symbolic Logic 18 (3):283-283.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (3):196-197.
Review: Erik Gotlind, An Axiom System for the Propositional Calculus. [REVIEW]Oiva Ketonen - 1948 - Journal of Symbolic Logic 13 (1):52-52.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (3):196-197.
An axiom system for three-valued Ł ukasiewicz propositional calculus.Luisa Iturrioz - 1977 - Notre Dame Journal of Formal Logic 18 (4):616-620.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.

Analytics

Added to PP
2010-08-24

Downloads
31 (#484,163)

6 months
7 (#328,545)

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