TYTUŁ ARTYKUŁU

Labeled Sequent Calculus for Orthologic

AUTORZY
Tomoaki Kawano
TYTUŁ CZASOPISMA
Bulletin of the Section of Logic
WYDANIE
2018 / Tom 47 / Numer 4
STRONY
217 - 232
ROK
2018
WYDAWCA
Wydawnictwo Uniwersytetu Łódzkiego
ISSN
0138-0680

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

Zacytuj

CZYSTY TEKST

Tomoaki Kawano, Labeled Sequent Calculus for Orthologic , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 217 - 232

BIBTEX

Tomoaki Kawano. Labeled Sequent Calculus for Orthologic. Bulletin of the Section of Logic, 47(4):217–232, 2018.

Pokaż kod BibTeX 
@article{bazhum275844,
  author = {Kawano, Tomoaki},
  title = {{Labeled Sequent Calculus for Orthologic}},
  journal = {Bulletin of the Section of Logic},
  year = {2018},
  volume = {47},
  number = {4},
  pages = {217--232},
  issn = {0138-0680},
  url = {https://bazhum.muzhp.pl/articles/275844}
}