Non-commutative propositional logic with short-circuit evaluation.

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

Published in: J. Appl. Non Class. Logics (2021)

Keyphrases

propositional logic
short circuit
belief revision
first order logic
lattice theory
quantified boolean formulae
possibilistic logic
satisfiability testing
knowledge base
thin film
genetic algorithm
image processing
low cost
description logics
propositional satisfiability