Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK

&
Bulletin of the Section of Logic 23 (3):104-112 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Uniqueness of normal proofs in implicational intuitionistic logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
Uniqueness of normal proofs of minimal formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
On formulas with one variable in some fragment of Grzegorczyk's modal logic.Zofia Kostrzycka - 2004 - Bulletin of the Section of Logic 33 (2):95-106.
On a closure of a set of classically essential formulas and on relevant implication.Vladimir M. Popov - 1989 - Bulletin of the Section of Logic 18 (1):20-23.
Reductive techniques in proofs of the completeness theorems for the normal bimodal systems.Piotr Lukowski - 2003 - Bulletin of the Section of Logic 32 (3):147-159.
On BCK-algebras with the operation.Marek Palasinski - 1984 - Bulletin of the Section of Logic 13 (1):13-17.
A Gentzen system equivalent to the BCK-logic'.R. Adillon & Ventura Verdú - 1996 - Bulletin of the Section of Logic 25 (2):73-79.
On a minimal non% alethic logic.M. Grana - 1990 - Bulletin of the Section of Logic 19 (1):25-28.
An equational basis for commutative bck-algebras.Barbara Wozniakowska - 1981 - Bulletin of the Section of Logic 10 (3):108-111.

Analytics

Added to PP
2014-01-21

Downloads
23 (#705,674)

6 months
1 (#1,516,603)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hiroakira Ono
Japan Advanced Institute of Science and Technology

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.
On the membership problem for non-linear abstract categorial grammars.Sylvain Salvati - 2010 - Journal of Logic, Language and Information 19 (2):163-183.

Add more citations

References found in this work

No references found.

Add more references