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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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, 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.
Witold A. Pogorzelski. On the scope of the classical deduction theorem. The journal of symbolic logic, vol. 33 , pp. 77–81.Mircea Tirnoveanu - 1975 - Journal of Symbolic Logic 40 (4):606.
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.
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem.Yoshiki Nakamura & Naosuke Matsuda - 2021 - Studia Logica 109 (6):1413-1422.
Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
The D-Completeness of T→.R. K. Meyer & M. W. Bunder - 2010 - Australasian Journal of Logic 8:1-8.

Analytics

Added to PP
2014-01-30

Downloads
17 (#1,160,666)

6 months
4 (#1,269,568)

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