2 papers
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.LO2024
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{inoue1…