A Gentzen system equivalent to the BCK-logic

Adillon, Roma J.; Verdu, Ventura

TYTUŁ ARTYKUŁU

A Gentzen system equivalent to the BCK-logic

AUTORZY: Roma J. Adillon, Ventura Verdu
TYTUŁ CZASOPISMA: Bulletin of the Section of Logic
WYDANIE: 1996 / Tom 25 / Numer 2
STRONY: 73 - 80
ROK: 1996
WYDAWCA: Wydawnictwo Uniwersytetu Łódzkiego
ISSN: 0138-0680

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

Zacytuj

CZYSTY TEKST

Roma J. Adillon, Ventura Verdu, A Gentzen system equivalent to the BCK-logic, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 73 - 80

BIBTEX

Roma J. Adillon and Ventura Verdu. A Gentzen system equivalent to the BCK-logic. Bulletin of the Section of Logic, 25(2):73–80, 1996.

Pokaż kod BibTeX

@article{bazhum233874,
  author = {Adillon, Roma J. and Verdu, Ventura},
  title = {{A Gentzen system equivalent to the BCK-logic}},
  journal = {Bulletin of the Section of Logic},
  year = {1996},
  volume = {25},
  number = {2},
  pages = {73--80},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/233874}
}