A new way of normalizing intuitionist propositional logic

Studia Logica 35 (4):387 - 408 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02123405

Links

PhilArchive



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

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

On analysing relevance constructively.Garrel Pottinger - 1979 - Studia Logica 38 (2):171 - 185.
Intuitionist logic, a logic of justification.John T. Kearns - 1978 - Studia Logica 37 (3):243 - 260.
Investigations into the System of Intuitionist Logic.Stanisław Jaśkowski - 1975 - Studia Logica 34 (2):117 - 120.
First-Order da Costa Logic.Graham Priest - 2011 - Studia Logica 97 (1):183 - 198.
Remarks on discussive propositional logic.Tomasz Furmanowski - 1975 - Studia Logica 34:39.
On Jaśkowski-type semantics for the intuitionistic propositional logic.Stanisław J. Surma, Andrzej Wroński & Stanisław Zachorowski - 1975 - Studia Logica 34 (2):145-148.
A formalization of the propositional calculus of H-B logic.Cecylia Rauszer - 1974 - Studia Logica 33 (1):23 - 34.
Dirk Van Dalen, mystic, geometer, and intuitionist. The life of L.e.J. Brouwer, volume 1: The dawning revolution.Jean Paul Van Bendegem - 2003 - Studia Logica 74 (3):469-471.
A criterion of fullness of many-valued systems of propositional logic.Jerzy Słupecki - 1972 - Studia Logica 30 (1):153-157.
Propositional logic for topology-like matrices: a calculus with restricted substitution.Thomas M. Leschine - 1978 - Studia Logica 37 (2):161-165.

Analytics

Added to PP
2009-01-28

Downloads
39 (#421,361)

6 months
6 (#587,779)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Normalization as a homomorphic image of cut-elimination.Garrel Pottinger - 1977 - Annals of Mathematical Logic 12 (3):323.
On analysing relevance constructively.Garrel Pottinger - 1979 - Studia Logica 38 (2):171 - 185.
Completeness of the normal typed fragment of the λ-system U.Glen Helman - 1977 - Journal of Philosophical Logic 6 (1):33 - 46.

Add more citations

References found in this work

Second Scandinavian Logic Symposium.Jens Erik Fenstad - 1971 - Journal of Symbolic Logic 36 (2):378-384.

Add more references