The following pages link to On Priest's logic of paradox (Q4868229):
Displayed 12 items.
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Algebras of intervals and a logic of conditional assertions (Q704035) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Implicational classes of De Morgan lattices (Q1301839) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← 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)
- An infinity of super-Belnap logics (Q4583174) (← links)
- On Priest's logic of paradox (Q4868229) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)