A formalization of the propositional calculus of H-B logic

Studia Logica 33 (1):23 - 34 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02120864

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,824

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

Cecylia Rauszer.Helena Rasiowa - 1994 - Studia Logica 53 (4):467 - 471.
A formalization of the modal propositional S4 calculus.Anita Wasilewska - 1971 - Studia Logica 27 (1):133-147.
Logic, algebra and computer science, Helena Rasiowa and Cecylia Rauszer in Memoriam.A. Skowron - 1996 - Bulletin of the Section of Logic 25 (3):4.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
Propositional logic for topology-like matrices: a calculus with restricted substitution.Thomas M. Leschine - 1978 - Studia Logica 37 (2):161-165.
Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic.Michael Kaminski & Nissim Francez - 2014 - Studia Logica 102 (3):479-497.
A. the propositional calculus.Rudolf Carnap - 1959 - In Introduction to Semantics and Formalization of Logic. Harvard University Press. pp. 279-307.
Remarks on discussive propositional calculus.Tomasz Furmanowski - 1975 - Studia Logica 34 (1):39 - 43.
On a fragment of the implicative propositional calculus.Helena Rasiowa - 1955 - Studia Logica 3 (1):225-226.
A schema of deduction theorems for the propositional calculus.W. A. Pogorzelski - 1964 - Studia Logica 15 (1):188-188.

Analytics

Added to PP
2009-01-28

Downloads
86 (#263,678)

6 months
17 (#185,298)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Uniqueness of Logical Connectives in a Bilateralist Setting.Sara Ayhan - 2021 - In Martin Blicha & Igor Sedlár, The Logica Yearbook 2020. College Publications. pp. 1-16.
Constructive negation, implication, and co-implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.
Modal logics with Belnapian truth values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.

View all 50 citations / Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - unknown - Groningen: P. Noordhoff N.V..
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.

Add more references