47 citations · 102 across the 10 of their papers we have counts for
1 paper · 1 filter
Ruo Ando, Yoshiyasu Takefuji
In this paper, we present an experiment of our randomized hints strategy of automated reasoning for yielding Axiom(5) from Axiom(1)(2)(3)(4) of Infinite-Valued Lukasiewicz Logic. I…