Pages that link to "Item:Q4868228"
From MaRDI portal
The following pages link to A propositional logic with 4 values: true, false, divergent and meaningless (Q4868228):
Displayed 11 items.
- Inversive meadows and divisive meadows (Q420833) (← links)
- A calculus for four-valued sequential logic (Q549178) (← links)
- A generalization of ACP using Belnap's logic (Q864509) (← links)
- Execution architectures for program algebra (Q881834) (← links)
- On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species (Q1433787) (← links)
- Propositional compositions of partial predicates (Q1592086) (← links)
- Process algebra and conditional composition (Q1607116) (← links)
- Molecular dynamics (Q1858435) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)