1947 search results - page 21 / 390 » A presentation of Quantum Logic based on an |
94
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
101
click to vote
CDES
2006
15 years 2 months ago
2006
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...
100
Voted
TABLEAUX
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present a clausal connection calculus for first-order intuitionistic logic. It extends the classical connection calculus by adding prefixes that encode the character...
125
click to vote
DEON
2010
Springer
15 years 24 days ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
84
Voted
CALCO
2007
Springer
15 years 6 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...