1768 search results - page 36 / 354 » A Logic for Algebraic Effects |
ORDER
2010
13 years 7 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
CADE
2008
Springer
13 years 10 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
ICTCS
2003
Springer
14 years 1 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
CORR
2011
Springer
13 years 1 days ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...