An independent axiomatization for free short-circuit logic.

Alban Ponse Daan J. C. Staudt

Published in: CoRR (2017)

Keyphrases

short circuit
thin film
logic programming
modal logic
complete axiomatization
image processing