The following pages link to On Priest's logic of paradox (Q4868229):
Displaying 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)
- De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← 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)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A logical modeling of severe ignorance (Q6166125) (← links)
