A Single‐Axiom Impligational Calculus of Given Unsolvability

Mathematical Logic Quarterly 14 (13-17):193-204 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19680141302

Links

PhilArchive



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

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

A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204.
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.Larry Wos, Dolph Ulrich & Branden Fitelson - unknown
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus.Branden Fitelson - manuscript
A Single Axiom for Set Theory.David Bennett - 2000 - Notre Dame Journal of Formal Logic 41 (2):152-170.
Review: M. D. Gladstone, Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvability. [REVIEW]W. E. Singletary - 1969 - Journal of Symbolic Logic 34 (3):505-506.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (3):196-197.
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.
A shortest single axiom for the classical equivalential calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.
Gladstone M. D.. Some ways of constructing a propositional calculus of any required degree of unsolvability. Transactions of the American Mathematical Society, vol. 118 , pp. 192–210. [REVIEW]W. E. Singletary - 1969 - Journal of Symbolic Logic 34 (3):505-506.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
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.
Determined game logic is complete.Jan van Eijck - unknown
Rose Alan. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 196–197. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (2):176-176.
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.
Inferentializing consequence.Jaroslav Peregrin - unknown

Analytics

Added to PP
2017-02-21

Downloads
2 (#1,799,720)

6 months
2 (#1,193,798)

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

Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
Fragments of the propositional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.
Some structure results for propositional calculi.Ronald Harrop - 1965 - Journal of Symbolic Logic 30 (3):271-292.

Add more references