Proposition Algebra and Short-Circuit Logic.

Jan A. Bergstra Alban Ponse

Published in: FSEN (2011)

Keyphrases

short circuit
boolean algebra
set theory
thin film
relation algebra
algebraic structure
data model
induction motor
query language
logic programming
relational algebra
decision making
modal logic
algebraic operators
expressive power