1768 search results - page 5 / 354 » A Logic for Algebraic Effects |
ACS
2002
13 years 8 months ago
2002
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
ECEASST
2010
13 years 5 months ago
2010
ation and logic. The logic courses mainly provided a very abstract and
CAV
2006
Springer
14 years 4 days ago
2006
Springer
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
LOGCOM
2010
13 years 6 months ago
2010
The algebraic theory of quasi-MV algebras, generalisations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define sever...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...