On Axiom Systems of Propositional Calculi. I

&
Journal of Symbolic Logic 34 (1):122-124 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271010

Links

PhilArchive



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

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

Algebraic Formulations of Propositional Calculi.Kiyoshi Iseki & Yoshinari Arai - 1968 - Journal of Symbolic Logic 33 (4):625-626.
Metafizyka w logice.Jacek Wojtysiak - 1999 - Filozofia Nauki 1.
Semantical study of some systems of vagueness logic.A. Arruda & E. Alves - 1979 - Bulletin of the Section of Logic 8 (3):139-144.
Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
Algebraiczna semantyka dla nihilistycznych rachunków zdań.Eugeniusz Żabski - 1993 - Filozofia Nauki 4.
Strongly decidable properties of modal and intuitionistic calculi.L. Maksimova - 2000 - Logic Journal of the IGPL 8 (6):797-819.
Logic for A.I. - Solutions.Rosalie Iemhoff - unknown
Interpolation Properties For A Class Of Many-valued Propositional Calculi.Grzegorz Malinowski & Marek Michalczyk - 1981 - Bulletin of the Section of Logic 10 (1):9-14.
Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics.A. Avellone, M. Ferrari & P. Miglioli - 1999 - Logic Journal of the IGPL 7 (4):447-480.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Craig-godel-lindenbaum's property and sobocinski-tarski's property in propositional calculi.Teodor Stepien - 1981 - Bulletin of the Section of Logic 10 (3):116-120.
A Note On Probabilistic Validity Measure In Propositional Calculi.Branislav Boricic - 1995 - Logic Journal of the IGPL 3 (5):721-724.
A Theorem on the Interrelationship of Axiom systems for Implicational Calculi.Biswambhar Pahi - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):165-167.
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,686,544)

6 months
3 (#992,474)

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

No references found.

Add more references