3624 search results - page 2 / 725 » Abstract Algebraic Logic |
AMAST
1998
Springer
13 years 9 months ago
1998
Springer
MLQ
2007
13 years 4 months ago
2007
MLQ
2006
13 years 5 months ago
2006
AMAI
2006
Springer
13 years 5 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
WOLLIC
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...