Non-commutative propositional logic with short-circuit evaluation (Q5862001)
From MaRDI portal
scientific article; zbMATH DE number 7483544
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-commutative propositional logic with short-circuit evaluation |
scientific article; zbMATH DE number 7483544 |
Statements
Non-commutative propositional logic with short-circuit evaluation (English)
0 references
3 March 2022
0 references
non-commutative conjunction
0 references
conditional composition
0 references
sequential connectives
0 references
short-circuit evaluation
0 references
side effect
0 references
