Pages that link to "Item:Q4443411"

The following pages link to Process algebra with four-valued logic (Q4443411):

Displaying 8 items.

• A generalization of ACP using Belnap's logic (Q864509) (← links)
• Process algebra and conditional composition (Q1607116) (← links)
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
• Belnap's logic and conditional composition (Q2464948) (← links)
• The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
• Encoding many-valued logic in $\lambda$-calculus (Q5009711) (← links)
• A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)
• Bochvar-McCarthy logic and process algebra (Q5937831) (← links)