Tomoaki Kawano
2 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Sequent Calculi for Orthologic with Strict Implication Opublikowano w: Bulletin of the Section of Logic 2022 / Tom 51 / Numer 1 / s. 73 - 89ROK: 2022CZYSTY TEKSTBIBTEX
-
Labeled Sequent Calculus for Orthologic Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 4 / s. 217 - 232ROK: 2018CZYSTY TEKSTBIBTEX
