Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator
Autor: | Takamura, Hiroki |
---|---|
Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2012 Dec 01. 100(6), 1137-1148. |
Databáze: | JSTOR Journals |
Externí odkaz: |