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 50 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)
- De Morgan clones and four-valued logics (Q829759) (← links)
- Polarity semantics for negation as a modal operator (Q831215) (← 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)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- On residuation in paraorthomodular lattices (Q2156431) (← links)
- Probabilities with gaps and gluts (Q2240549) (← links)
- Belnap-Dunn modal logic with value operators (Q2243547) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← 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)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- Consequence and Degrees of Truth in Many-Valued Logic (Q2948586) (← links)