Pages that link to "Item:Q2209169"
From MaRDI portal
The following pages link to The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169):
Displaying 5 items.
- What is a relevant connective? (Q2155944) (← links)
- 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)
- A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525) (← links)
- A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic (Q5066797) (← links)
- A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)
