Takao Inoué

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 6

Top Topics

Propositional Calculus

Prime Implicates

Top Venues

Formaliz. Math.

Publications

Takao Inoué
Epistemic systems and Flagg and Friedman's translation. CoRR (2023)
Takao Inoué
On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics. Stud Logica 110 (1) (2022)
Takao Inoué, Riku Hanaoka
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II. Formaliz. Math. 30 (1) (2022)
Takao Inoué
How to Make a New Logic. CoRR (2021)
Takao Inoué
A sound interpretation of Leśniewski's epsilon in modal logic KTB. CoRR (2020)
Takao Inoué
On Bergman's Diamond Lemma for Ring Theory. CoRR (2020)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (2) (2011)
Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
-Dimensional Real Normed Linear Spaces. Formaliz. Math. 19 (1) (2011)
Takao Inoué
Flagg and Friedman's Translation is not Faithful. Math. Log. Q. 38 (1) (1992)
Takao Inoué
A Note on Stahl's Opposite System. Math. Log. Q. 35 (5) (1989)