A Single‐Axiom Impligational Calculus of Given Unsolvability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141302

Links

PhilArchive



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

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

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 shortest single axiom for the classical equivalential calculus.John A. Kalman - 1978 - Notre Dame Journal of Formal Logic 19 (1):141-144.
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.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
Determined game logic is complete.Jan van Eijck - unknown
Finding missing proofs with automated reasoning.Branden Fitelson & Larry Wos - 2001 - Studia Logica 68 (3):329-356.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
Inferentializing consequence.Jaroslav Peregrin - unknown
Single premise post canonical forms defined over one-letter alphabets.Charles E. Hughes - 1974 - Journal of Symbolic Logic 39 (3):489-495.

Analytics

Added to PP
2013-11-24

Downloads
37 (#430,758)

6 months
1 (#1,469,946)

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

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.

Add more references