4370 search results - page 21 / 874 » Algebra of Logic Programming |
ENDM
2010
13 years 9 months ago
2010
We call "on/off" constraint an algebraic constraint that is activated if and only if
ACS
2006
13 years 9 months ago
2006
APAL
2007
13 years 9 months ago
2007
We develop duality between nuclei on Heyting algebras and certain binary relations on Heyting spaces. We show that these binary relations are in 1–1 correspondence with subframe...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In ...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...