Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant.

Jan A. Bergstra Alban Ponse Daan J. C. Staudt

Published in: CoRR (2018)

Keyphrases

propositional logic
short circuit
belief revision
first order logic
possibilistic logic
quantified boolean formulae
belief change
lattice theory
propositional satisfiability
davis putnam
signal processing
thin film