2 citations · 4 across the 23 of their papers we have counts for
5 papers · 1 filter
Epistemic systems and Flagg and Friedman's translation
Takao Inoué
In 1986, Flagg and Friedman \cite{ff} gave an elegant alternative proof of the faithfulness of Gödel (or Rasiowa-Sikorski) translation of Heyting arithmetic …
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…