An independent axiomatisation for free short-circuit logic

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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2018-07
Hauptverfasser:	Ponse, Alban, Staudt, Daan J C
Format:	Artikel
Sprache:	eng
Schlagworte:	Axioms Computer Science - Logic in Computer Science Logic Mathematics - Logic Semantics Short circuits Side effects
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!