Non-commutative propositional logic with short-circuited biconditional and NAND

Dalia Papuc, Alban Ponse

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the v…