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

Autor:	Papuc, Dalia, Ponse, Alban
Rok vydání:	2022
Předmět:	Computer Science - Logic in Computer Science 03C90 F.3.1 F.3.2
Druh dokumentu:	Working Paper
Popis:	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. In programming, short-circuit evaluation is widely used, with left-sequential conjunction and disjunction as primitive connectives. We consider left-sequential, non-commutative propositional logic, also known as MSCL (memorising short-circuit logic), and start from a previously published, equational axiomatisation. First, we extend this logic with a left-sequential version of the biconditional connective, which allows for an elegant axiomatisation of MSCL. Next, we consider a left-sequential version of the NAND operator (the Sheffer stroke) and again give a complete, equational axiomatisation of the corresponding variant of MSCL. Finally, we consider these logical systems in a three-valued setting with a constant for `undefined', and again provide completeness results. Comment: 21 pages, 6 tables
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2203.09321 Zobrazit plný text záznamu View this record from Arxiv