Pages that link to "Item:Q5066097"

The following pages link to EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes (Q5066097):

Displayed 1 item.

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