TYTUŁ ARTYKUŁU

A Cut-free System for 16-Valued Reasoning

AUTORZY
Norihiro Kamide
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2005 / Tom 34 / Numer 4
STRONY
213 - 225
ROK
2005
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Norihiro Kamide, A Cut-free System for 16-Valued Reasoning, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 213 - 225

BIBTEX

Norihiro Kamide. A Cut-free System for 16-Valued Reasoning. Bulletin of the Section of Logic, 34(4):213–225, 2005.

Pokaż kod BibTeX 
@article{bazhum242060,
  author = {Kamide, Norihiro},
  title = {{A Cut-free System for 16-Valued Reasoning}},
  journal = {Bulletin of the Section of Logic},
  year = {2005},
  volume = {34},
  number = {4},
  pages = {213--225},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/242060}
}