A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
An independent axiomatisation for free short-circuit logic
2018
Journal of Applied Non-Classical Logics
Preserved Fulltext
Other Versions
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 value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorised throughout the evaluation, i.e., evaluations of distinct occurrences of an atom in a compound statement may yield different truth values. We
doi:10.1080/11663081.2018.1448637
fatcat:rqibcz2lsfbuvkiwkil4wfbpna