Pages that link to "Item:Q4340541"
From MaRDI portal
The following pages link to Belnap's Four-Valued Logic and De Morgan Lattices (Q4340541):
Displayed 40 items.
- Reductio ad contradictionem: an algebraic perspective (Q295913) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Bilattices with implications (Q368472) (← links)
- Categorical abstract algebraic logic: referential algebraic semantics (Q368473) (← links)
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis (Q526733) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Some useful 16-valued logics: How a computer network should think (Q815018) (← links)
- Neutrosophic logics: Prospects and problems (Q835186) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) (Q1712572) (← links)
- Proof theory of paraconsistent quantum logic (Q1749807) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Nothing but the truth (Q1947033) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- On prevarieties of logic (Q2324841) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Representation of interlaced trilattices (Q2446542) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)