Takao Inoué

14 papers Journal 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	From Torsors to Topoi: An Introduction with a View Toward Σ-Protocols in Cryptography. CoRR Takao Inoué
2026	J	`jnl`	Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security: Attacker Models and Σ-Protocols as the First Step. CoRR Takao Inoué
2026	J	`jnl`	On the Category-Theoretic Independence of Meaning, Object, Name and Existence. CoRR Takao Inoué
2026	J	`jnl`	TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions. CoRR Takao Inoué
2023	J	`jnl`	Epistemic systems and Flagg and Friedman's translation. CoRR Takao Inoué
2022	J	`jnl`	Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II. Formaliz. Math. Takao Inoué, Riku Hanaoka
2022	J	`jnl`	On Blass Translation for Leśniewski's Propositional Ontology and Modal Logics. Stud Logica Takao Inoué
2021	J	`jnl`	How to Make a New Logic. CoRR Takao Inoué
2020	J	`jnl`	A sound interpretation of Leśniewski's epsilon in modal logic KTB. CoRR Takao Inoué
2020	J	`jnl`	On Bergman's Diamond Lemma for Ring Theory. CoRR Takao Inoué
2011	J	`jnl`	Partial Differentiation of Vector-Valued Functions on Formaliz. Math. Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
2011	J	`jnl`	Partial Differentiation, Differentiation and Continuity on Formaliz. Math. Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama
1992	J	`jnl`	Flagg and Friedman's Translation is not Faithful. Math. Log. Q. Takao Inoué
1989	J	`jnl`	A Note on Stahl's Opposite System. Math. Log. Q. Takao Inoué