Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Axiomatic extensions of the nilpotent minimum logic | 2003 | |||
The variety of residuated lattices is generated by its finite simple members | 2000 | |||
Lattice operations in BCK‐algebras | 1984 | |||
Dually residuated commutative monoids with identity element as least elements do not form an equational class | 1984 | |||
Reflections and distensions of BCK algebras | 1983 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Semisimples in Varieties of Commutative Integral Bounded Residuated Lattices | Studia Logica |
| 2016 | |
Lattice BCK logics with Modus Ponens as unique rule | Mathematical Logic Quarterly |
| 2014 | |
Inconsistency lemmas in algebraic logic | Mathematical Logic Quarterly |
| 8 | 2013 |
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices | Studia Logica |
| 6 | 2011 |
On good EQ-algebras | Fuzzy Sets and Systems |
| 43 | 2011 |