4 search results - page 1 / 1 » Axiomatizability in Inclusive Equational Logics |
MSCS
2002
13 years 5 months ago
2002
IGPL
2011
13 years 22 days 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 9 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 10 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 ...