532 search results - page 8 / 107 » The Logic of Quasi-MV Algebras |
RSCTC
2004
Springer
14 years 3 months ago
2004
Springer
CAGD
2010
13 years 7 months ago
2010
APLAS
2009
ACM
14 years 4 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
DEON
2010
Springer
13 years 10 months 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...
AMAST
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...