4 search results - page 1 / 1 » Axiomatizability in Inclusive Equational Logics |
MSCS
2002
13 years 4 months ago
2002
IGPL
2011
12 years 11 months ago
2011
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of su...
BIRTHDAY
2006
Springer
13 years 8 months ago
2006
Springer
Birkhoff (quasi-)variety categorical axiomatizability results have fascinated many scientists by their elegance, simplicity and generality. The key factor leading to their generali...
CSL
1997
Springer
13 years 9 months ago
1997
Springer
We present a complete axiomatization of test algebra ( 24, 18, 29]), the two-sorted algebraic variant of Propositional Dynamic Logic (PDL, 21, 7]). The axiomatization consists of ...