Pages that link to "Item:Q2209169"

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 8 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)
• Natural three-valued logics and classical logic (Q2856073) (← links)
• A remark on functional completeness of binary expansions of Kleene’s strong 3-valued logic (Q5066797) (← links)
• Reduced Routley–Meyer semantics for the logics characterized by natural implicative expansions of Kleene’s strong 3-valued matrix (Q5241917) (← links)
• (Q5871538) (← links)
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)