Pages that link to "Item:Q5262974"

The following pages link to A Generalization of ACP Using Belnap's Logic (Q5262974):

Displaying 3 items.

• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
• The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
• A Generalization of ACP Using Belnap's Logic (Q5262974) (← links)