2 papers
math.RA2018
-normal residuated lattices
Saeed Rasouli, Michiro Kondo
The notion of -normal residuated lattice, as a class of residuated lattices in which every prime filter contains at most minimal prime filters, is introduced and studied. Be…
math.LO2012
Intuitionistic logic with two Galois connections combined with Fischer Servi axioms
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Earlier, the authors introduced the logic IntGC, which is an extension of intuitionistic propositional logic by two rules of inference mimicking the performance of Galois connectio…