Non-commutative propositional logic with short-circuit evaluation (Q5862001)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Non-commutative propositional logic with short-circuit evaluation |
scientific article; zbMATH DE number 7483544
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.9090084
0 references
0 references
0.8858992
0 references
0.88455445
0 references
0 references
0.8772653
0 references
0.8718295
0 references
