research
∙
07/05/2023
Epistemic systems and Flagg and Friedman's translation
In 1986, Flagg and Friedman <cit.> gave an elegant alternative proof of ...
share
research
∙
08/12/2021
How to Make a New Logic
We discuss about how to make a new logic with considering a slogan: take...
research
∙
07/27/2020
On Bergman's Diamond Lemma for Ring Theory
This expository paper deals with the Diamond Lemma for ring theory, whic...
research
∙
07/22/2020