The number of proofs for a BCK-Formula

Journal of Symbolic Logic 58 (2):626-628 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
63 (#262,249)

6 months
29 (#110,359)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.

Add more citations

References found in this work

The formulae-as-types notion of construction.William Alvin Howard - 1980 - In Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism. Academic Press.
Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):219-228.
Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt.S. Jaśkowski - 1963 - Mathematical Logic Quarterly 9 (12‐15):219-228.
BCK and BCI logics, condensed detachment and the $2$-property. [REVIEW]J. Roger Hindley - 1993 - Notre Dame Journal of Formal Logic 34 (2):231-250.

Add more references