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 - 892022CZYSTY TEKST
Tomoaki Kawano, Sequent Calculi for Orthologic with Strict Implication , Bulletin of the Section of Logic, 2022 / Tom 51 / Numer 1, s. 73 - 89
BIBTEX@Article{ authors = " Tomoaki Kawano", title = "Sequent Calculi for Orthologic with Strict Implication ", journal = "Bulletin of the Section of Logic", issue = "2022 / Tom 51 / Numer 1", pages = "73 - 89" }
-
Labeled Sequent Calculus for Orthologic Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 4 / s. 217 - 2322018CZYSTY TEKST
Tomoaki Kawano, Labeled Sequent Calculus for Orthologic , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 217 - 232
BIBTEX@Article{ authors = " Tomoaki Kawano", title = "Labeled Sequent Calculus for Orthologic ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "217 - 232" }
