In 1986, Flagg and Friedman <cit.> gave an elegant alternative proof of
...
We discuss about how to make a new logic with considering a slogan: take...
This expository paper deals with the Diamond Lemma for ring theory, whic...
In this paper, we shall show that the following translation I^M from the...