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):
Displaying 23 items.
- Kleene's three-valued logic and process algebra (Q293327) (← links)
- Preferences in artificial intelligence (Q314443) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← 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)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} (Q2310439) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Evaluation Trees for Proposition Algebra (Q3449625) (← links)
- Unifying Theories of Undefinedness in UTP (Q3455642) (← links)
- Process algebra with four-valued logic (Q4443411) (← links)
- Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
- A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
- Axiomatization of <tt>if-then-else</tt> over possibly non-halting programs and tests (Q5269894) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
- Bochvar-McCarthy logic and process algebra (Q5937831) (← links)
