TYTUŁ ARTYKUŁU

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

AUTORZY
Takahito Aoto, Hiroakira Ono
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1994 / Tom 23 / Numer 3
STRONY
104 - 112
ROK
1994
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

Pełny tekst tego artykułu nie jest dostępny w BazHum.

Zacytuj

CZYSTY TEKST

Takahito Aoto, Hiroakira Ono, Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 3, s. 104 - 112

BIBTEX

Takahito Aoto and Hiroakira Ono. 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.

Pokaż kod BibTeX 
@article{bazhum233355,
  author = {Aoto, Takahito and Ono, Hiroakira},
  title = {{Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK}},
  journal = {Bulletin of the Section of Logic},
  year = {1994},
  volume = {23},
  number = {3},
  pages = {104--112},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233355}
}