An independent axiomatisation for free short-circuit logic.

Alban Ponse Daan J. C. Staudt

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

Keyphrases

short circuit
modal logic
thin film
logic programming
expert systems
induction motor
pattern recognition
relational databases
functional dependencies