1768 search results - page 6 / 354 » A Logic for Algebraic Effects |
AMAST
2006
Springer
14 years 4 days 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
13 years 6 months ago
2009
EUSFLAT
2009
13 years 6 months ago
2009
NDJFL
1998
13 years 8 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
13 years 8 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...