Pages that link to "Item:Q4857857"
From MaRDI portal
The following pages link to Characterizing Belnap's Logic via De Morgan's Laws (Q4857857):
Displaying 29 items.
- Application and analysis of multicast blocking modelling in fat-tree data center networks (Q680832) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Implicational classes of De Morgan lattices (Q1301839) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- A simple sequent calculus for Angell's logic of analytic containment (Q1685482) (← 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)
- 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)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← links)
- Priest on Negation (Q3305669) (← 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)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)
- A capacity-based semantics for inconsistency-tolerant inferences (Q6163911) (← links)