3 papers
cs.LO2026
TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
Takao Inoué
This paper develops a refined version of TAPO-description logic for the analysis of information behavior. The framework is treated not as a single homogeneous object logic, but as…
math.LO2026
A New Overture to Classical Simple Type Theory, Ketonen-type Gentzen and Tableau Systems
Tadayoshi Miwa, Takao Inoué
In this paper, we introduce a Ketonen-type Gentzen-style classical simple type theory . Also the tableau system corresponding to is introduced. Furthe…
math.LO2025
Nontrivial single axiom schemata and their quasi-nontriviality of LeÅniewski-Ishimoto's propositional ontology
Takao Inoué, Tadayoshi Miwa
On March 8, 1995, was found the following \it nontrivial \rm single axiom-schema characteristic of LeÅniewski-Ishimoto's propositional ontology (Inoué, 1995b \cite{inou…