A Minimal Implicational Logic

In Jan Wolenski (ed.), Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 213--216 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Embedding classical in minimal implicational logic.Hajime Ishihara & Helmut Schwichtenberg - 2016 - Mathematical Logic Quarterly 62 (1-2):94-101.
Review: Witold A. Pogorzelski, Jerzy Slupecki, On Mathematical Proof. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):284-284.
Review: Witold A. Pogorzelski, On the Scope of the Classical Deduction Theorem. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):606-606.
Witold A. Pogorzelski. On the scope of the classical deduction theorem. The journal of symbolic logic, vol. 33 , pp. 77–81.Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):606.
Review: Witold A. Pogorzelski, Jerzy Slupecki, A Proof of the Completeness of the Classical Propositional Calculus on the Ground of an Axiomatic Methodology. [REVIEW]W. Bednarowski - 1967 - Journal of Symbolic Logic 32 (4):536-537.
Review: Witold A. Pogorzelski, The Deduction Theorem for Lukasiewicz Many-Valued Propositional Calculi. [REVIEW]Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):605-606.
Review: Jerzy Slupecki, Witold A. Pogorzelski, A Variant of the Proof of the Completeness of the First Order Functional Calculus. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.
Witold A. Pogorzelski and Jerzy Slupecki. O dowodzie matematycznym . Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 pp. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):284.
Witold A. Pogorzelski. The deduction theorem for Łukasiewicz many-valued propositional calculi. English with Polish and Russian summaries. Studio logica, vol. 15 , pp. 7–23. [REVIEW]Mircea Tîrnoveanu - 1975 - Journal of Symbolic Logic 40 (4):605-606.
Jerzy Słupecki and Witold A. Pogorzelski. A variant of the proof of the completeness of the first order functional calculus. English with Polish and Russian summaries. Studia logica, vol. 12 , pp. 125–134. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-689.

Analytics

Added to PP
2014-01-30

Downloads
12 (#1,091,268)

6 months
2 (#1,445,278)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Replacing Modus Ponens With One-Premiss Rules.Lloyd Humberstone - 2008 - Logic Journal of the IGPL 16 (5):431-451.

Add more citations

References found in this work

No references found.

Add more references