An independent axiomatisation for free short-circuit logic. Issue 1 (2nd January 2018)

• Record Type: Journal Article
• Authors: Ponse, Alban; Staudt, Daan J. C.
• Is Part Of: Journal of applied non-classical logics. Volume 28:Issue 1(2018)
• Page Start: 35
• Page End: 71
• Publication Date: 2018-01-02
• Subjects: Logic in computer science -- short-circuit evaluation -- non-commutative conjunction -- sequential connectives -- conditional composition -- side effect; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2018.1448637
• Languages: English
• ISSNs: 1166-3081

Abstract

Abstract : 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 provide a simple semantics for free short-circuit logic (SCL) and an independent axiomatisation. Finally, we discuss evaluation strategies, some other SCLs, and side effects.