2 citations · 2 across the 2 of their papers we have counts for
4 papers
Axiomatic Rejection for the Propositional Fragment of Leśniewski's Ontology
Takao Inoué, Arata Ishimoto, Mitsunori Kobayashi
A Hilbert-type axiomatic rejection for the propositional fragment of Leśniewski's ontology is proposed. Also a Gentzen-type axiomatic rejection $\math…
How to Make a New Logic
Takao Inoué
We discuss about how to make a new logic with considering a slogan: \it take the inversion of what you know. \rm Suppose that we have a Gentzen-style logical system . The operat…
The consistency of arithmetic from a point of view of constructive tableau method with strong negation, Part I: the system without complete induction
Takao Inoué
In this Part I, we shall prove the consistency of arithmetic without complete induction from a point of view of strong negation, using its embedding to the tableau system …
On Blass translation for Leśniewski's propositional ontology and modal logics
Takao Inoué
In this paper, we shall give another proof of the faithfulness of Blass translation (for short, -translation) of the propositional fragment of Leśniewski's ontology in…