1768 search results - page 6 / 354 » A Logic for Algebraic Effects |
118
click to vote
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
EUSFLAT
2009
14 years 9 months ago
2009
EUSFLAT
2009
14 years 9 months ago
2009
NDJFL
1998
14 years 11 months ago
1998
We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
APAL
2010
14 years 12 months ago
2010
We introduce a new and general notion of canonical extension for algebras in the algebraic counterpart AlgS of any finitary and congruential logic S. This definition is logic-base...