1768 search results - page 9 / 354 » A Logic for Algebraic Effects |
ACS
2006
13 years 8 months ago
2006
APAL
2007
13 years 8 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...
IFIP
1994
Springer
14 years 15 days ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1