A Note on Gentzen's Decision Procedure for Intuitionistic Propositional Logic

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):453-456 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19870330509

Other Versions

reprint Došen, Kosta (1987) "A Note On Gentzen's Decision Procedure For Intuitionistic Propositional Logic". Mathematical Logic Quarterly 33(5):453-456

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,497

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 Note on a Subsystem Of Intuitionistic Logic with Constant Domains.Pierluigi Minari - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (5):385-387.

Analytics

Added to PP
2014-01-16

Downloads
42 (#523,325)

6 months
6 (#823,508)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Contraction-free sequent calculi for intuitionistic logic.Roy Dyckhoff - 1992 - Journal of Symbolic Logic 57 (3):795-807.
Bounds for cut elimination in intuitionistic propositional logic.Jörg Hudelmaier - 1992 - Archive for Mathematical Logic 31 (5):331-353.

Add more citations

References found in this work

The Collected Papers of Gerhard Gentzen. [REVIEW]G. Kreisel - 1971 - Journal of Philosophy 68 (8):238-265.

Add more references