Pages that link to "Item:Q5937831"

The following pages link to Bochvar-McCarthy logic and process algebra (Q5937831):

Displaying 12 items.

• A generalization of ACP using Belnap's logic (Q864509) (← links)
• Execution architectures for program algebra (Q881834) (← links)
• Process algebra and conditional composition (Q1607116) (← links)
• Belnap's logic and conditional composition (Q2464948) (← links)
• Propositional calculus for the sequential three-valued logic (McCarthy-like systems) (Q2737176) (← links)
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
• Process algebra with four-valued logic (Q4443411) (← links)
• A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
• (Q4945247) (← 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)