TYTUŁ ARTYKUŁU

BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω

AUTORZY
Alexander S. Karpenko, Vladimir M. Popov
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
1997 / Tom 26 / Numer 3
STRONY
112 - 117
ROK
1997
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Alexander S. Karpenko, Vladimir M. Popov, BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 112 - 117

BIBTEX

Alexander S. Karpenko and Vladimir M. Popov. BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω. Bulletin of the Section of Logic, 26(3):112–117, 1997.

Pokaż kod BibTeX 
@article{bazhum234232,
  author = {Karpenko, Alexander S. and Popov, Vladimir M.},
  title = {{BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic L\ω}},
  journal = {Bulletin of the Section of Logic},
  year = {1997},
  volume = {26},
  number = {3},
  pages = {112--117},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/234232}
}