Pages that link to "Item:Q5092560"

The following pages link to Proof Systems for 3-valued Logics Based on Gödel’s Implication (Q5092560):

Displaying 1 item.

• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)