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