Pages that link to "Item:Q1344874"

The following pages link to Algebraic study of Sette's maximal paraconsistent logic (Q1344874):

Displaying 13 items.

• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
• Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
• P1 algebras (Q1317897) (← links)
• An algebraic study of the logic \textbf{S5'(BL)} (Q2105717) (← links)
• Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
• Twist-structures semantics for the logics of the hierarchy <i>IⁿP^k</i> (Q3647296) (← links)
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions (Q4443421) (← links)
• Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
• Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
• Sette’s calculus P1 and some hierarchies of paraconsistent systems (Q5028299) (← links)
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS (Q5059925) (← links)
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)
• A Kalmár-style completeness proof for the logics of the hierarchy \(\mathbb{I}^n\mathbb{P}^k\). (Q6648090) (← links)