Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II
Takao Inoué
Department of Medical Molecular Informatics, Meiji Pharmaceutical University, Graduate School of Science and Engineering, Hosei University, Hosei UniversityTokyo,
Orcid-ProfilSuche nach diesem Autor auf
und 21. Dez. 2022
Über diesen Artikel
Online veröffentlicht: 21. Dez. 2022
Seitenbereich: 1 - 12
Akzeptiert: 30. Apr. 2022
DOI: https://doi.org/10.2478/forma-2022-0001
Schlüsselwörter
© 2022 Takao Inoué et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.
Inoué, Takao
Department of Medical Molecular Informatics, Meiji Pharmaceutical University, Graduate School of Science and Engineering, Hosei University, Hosei UniversityTokyo
Hanaoka, Riku
Tokyo, Japan