On a fragment of the implicative propositional calculus

Studia Logica 3 (1):225-226 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02067262

Links

PhilArchive



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

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

A modal sequent calculus for a fragment of arithmetic.G. Sambin & S. Valentini - 1980 - Studia Logica 39 (2-3):245-256.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCsK fragment of S. [REVIEW]Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (5):435 - 487.
Traditional theory of immediate inference as a fragment of two-valued propositional calculus.S. Kamiński - 1961 - Studia Logica 11 (1):21.
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Tables for the propositional calculus (logico-mathematical brain).René Calvache - 1966 - Miami, Fla.: Miami, Fla.. Edited by Sanabria, E. F. & [From Old Catalog].
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.

Analytics

Added to PP
2009-01-28

Downloads
37 (#422,084)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Aggregation and idempotence.Lloyd Humberstone - 2013 - Review of Symbolic Logic 6 (4):680-708.
Negation by iteration.I. L. Humberstone - 1995 - Theoria 61 (1):1-24.

Add more citations

References found in this work

No references found.

Add more references