Pages that link to "Item:Q5066797"
From MaRDI portal
The following pages link to A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic (Q5066797):
Displaying 4 items.
- A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3 (Q2236505) (← links)
- (Q3331149) (← links)
- (Q5871538) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)