2 citations · 4 across the 23 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
math.LO2020
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 …
math.RT2020
On Bergman's Diamond Lemma for Ring Theory
Takao Inoué
This expository and review paper deals with the Diamond Lemma for ring theory, which is proved in the first section of G. M. Bergman, The Diamond Lemma for Ring Theory, Advances in…
math.LO2020★ 2 cited
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…