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)

Categories

Keywords

Reprint years

DOI

10.2307/2275222

Links

PhilArchive



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

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

Lower Bounds for cutting planes proofs with small coefficients.Maria Bonet, Toniann Pitassi & Ran Raz - 1997 - Journal of Symbolic Logic 62 (3):708-728.
Linearization of the BCK-logic.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2000 - Studia Logica 65 (1):31-51.
On categorical equivalences of commutative BCK-algebras.Anatolij Dvurečenskij - 2000 - Studia Logica 64 (1):21-36.
On a property of BCK-identities.Misao Nagayama - 1994 - Studia Logica 53 (2):227 - 234.
The proofs of α→α in P - W.Sachio Hirokawa - 1996 - Journal of Symbolic Logic 61 (1):195-211.
Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.
Uniqueness of normal proofs of minimal formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
Quantified propositional logic and the number of lines of tree-like proofs.Alessandra Carbone - 2000 - Studia Logica 64 (3):315-321.
A reduction rule for Peirce formula.Sachio Hirokawa, Yuichi Komori & Izumi Takeuti - 1996 - Studia Logica 56 (3):419 - 426.

Analytics

Added to PP
2009-01-28

Downloads
58 (#271,353)

6 months
24 (#113,849)

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 - Mathematical Logic Quarterly 9 (12‐15):219-228.
Ü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.
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