Some Axiom Systems for Propositional Calculus

Journal of Symbolic Logic 25 (2):182-183 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964258

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

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

Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.
Inferentializing consequence.Jaroslav Peregrin - unknown
Sets, classes and the propositional calculus.E. Lopez-Escobar - 2005 - Manuscrito 28 (2):417-448.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
$\Varepsilon$-calculus based axiom systems for some propositional modal logics.Melvin Fitting - 1972 - Notre Dame Journal of Formal Logic 13 (3):381-384.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Simulating non-prenex cuts in quantified propositional calculus.Emil Jeřábek & Phuong Nguyen - 2011 - Mathematical Logic Quarterly 57 (5):524-532.
Frege systems for extensible modal logics.Emil Jeřábek - 2006 - Annals of Pure and Applied Logic 142 (1):366-379.
A minimal classical sequent calculus free of structural rules.Dominic Hughes - 2010 - Annals of Pure and Applied Logic 161 (10):1244-1253.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
On Number of Lindenbaum's Oversystems of Propositional and Predicate Calculi.Teodor Stepień - 1985 - Mathematical Logic Quarterly 31 (21‐23):333-344.
Determined game logic is complete.Jan van Eijck - unknown
Logic for A.I. - Solutions.Rosalie Iemhoff - unknown
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.
The non-independence of axioms in a propositional calculus formulated in terms of axiom schemata.A. J. Dale - 1983 - Logique Et Analyse 26 (1):91.

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,626,410)

6 months
3 (#981,027)

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