Pages that link to "Item:Q3149169"

The following pages link to Jaśkowski's criterion and three-valued paraconsistent logics (Q3149169):

Displaying 15 items.

• A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes (Q895828) (← links)
• The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3 (Q2209169) (← 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)
• Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
• A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics (Q4999462) (← links)
• О критерии паранормальности для $n$-значных логических матриц (Q5059701) (← links)
• Many-valuedness from a universal logic perspective (Q5061411) (← links)
• Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик (Q5061421) (← links)
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation (Q5156187) (← links)
• On the Methodology of Paraconsistent Logic (Q5213765) (← links)
• A Paraconsistent Logic Obtained from an Algebra-Valued Model of Set Theory (Q5241523) (← links)
• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values (Q5742698) (← links)
• К вопросу о критерии паранепротиворечивости логик (Q5882768) (← links)
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable (Q6098217) (← links)