Pełny tekst tego artykułu nie jest dostępny w BazHum.
TYTUŁ ARTYKUŁU
Sequent Calculi for Orthologic with Strict Implication
Zacytuj
CZYSTY 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
Tomoaki Kawano. Sequent Calculi for Orthologic with Strict Implication. Bulletin of the Section of Logic, 51(1):73–89, 2022.
Pokaż kod BibTeX
@article{bazhum217677,
author = {Kawano, Tomoaki},
title = {{Sequent Calculi for Orthologic with Strict Implication}},
journal = {Bulletin of the Section of Logic},
year = {2022},
volume = {51},
number = {1},
pages = {73--89},
issn = {0138-0680},
url = {https://bazhum.muzhp.pl/articles/217677}
}