Pages that link to "Item:Q4857857"
From MaRDI portal
The following pages link to Characterizing Belnap's Logic via De Morgan's Laws (Q4857857):
Displayed 19 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)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- The B4-valued propositional Belnap-Dunn logic1 (Q2953495) (← 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)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)