An alternative formalisation of Sobociński's three‐valued implicational propositional calculus

Mathematical Logic Quarterly 2 (10‐15):166-172 (1956)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19560021003

Links

PhilArchive



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

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: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
A Strongly Complete Formalisation of a 5‐Valued Propositional Calculus.Alan Rose† - 1987 - Mathematical Logic Quarterly 33 (3):243-244.
A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
Review: Alan Rose, A Formalisation of Post's m-Valued Propositional Calculus. [REVIEW]William T. Parry - 1956 - Journal of Symbolic Logic 21 (4):400-401.
A Formalisation of The χ0-Valued ŁUkasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):289-292.
A Formalisation Of TheM-Valued ŁUkasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):295-298.
Review: Jan Lukasiewicz, Concerning an Axiom System of the Implicational Propositional Calculus. [REVIEW]Bolesław Sobociński - 1955 - Journal of Symbolic Logic 20 (2):173-174.
Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.

Analytics

Added to PP
2013-11-24

Downloads
15 (#893,994)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relevant entailment--semantics and formal systems.Arnon Avron - 1984 - Journal of Symbolic Logic 49 (2):334-342.
Fragments of R-Mingle.W. J. Blok & J. G. Raftery - 2004 - Studia Logica 78 (1-2):59-106.

Add more citations

References found in this work

No references found.

Add more references