MoL-2020-02: Logical systems with left-sequential versions of NAND and XOR

MoL-2020-02: Sven Hugo, Cornets de Groot (2020) Logical systems with left-sequential versions of NAND and XOR. [Pre-print]

[thumbnail of MoL-2020-02.text.pdf]
Preview
Text
MoL-2020-02.text.pdf

Download (656kB) | Preview

Abstract

In this thesis, we define two new left-sequential connectives ℓNAND and ℓXOR that prescribe a short-circuit evaluation strategy, in which the second argument is evaluated only if the first argument does not suffice to determine the value of an expression, and a full evaluation strategy, in which each argument is evaluated, respectively. First, we define and axiomatize free left-sequential nand logic (FLNL) to investigate which logical laws axiomatize short-circuit evaluation of terms with ℓNAND in a setting where repeated occurrences of the same atomic proposition can yield different Boolean values, that is, modulo free valuation congruence. Then, we define and axiomatize free left-sequential xor logic (FLXL) to investigate which logical laws axiomatize full evaluation of terms with ℓXOR in the same setting. Finally, we investigate expressiveness modulo free valuation congruence of terms with (combinations of) ℓNAND, ℓXOR, left-sequential short-circuit conjunction and disjunction (the primitive connectives of short-circuit logic) and Hoare’s conditional (the primitive connective of proposition algebra).

Item Type: Pre-print
Report Nr: MoL-2020-02
Series Name: Master of Logic Thesis (MoL) Series
Year: 2020
Subjects: Computation
Logic
Depositing User: Dr Marco Vervoort
Date Deposited: 14 Jul 2020 15:31
Last Modified: 14 Jul 2020 15:31
URI: https://eprints.illc.uva.nl/id/eprint/1743

Actions (login required)

View Item View Item