Pages that link to "Item:Q1685564"
From MaRDI portal
The following pages link to An algebraic view of super-Belnap logics (Q1685564):
Displayed 14 items.
- The strong version of a sentential logic (Q1680515) (← links)
- Locally tabular \(\neq \) locally finite (Q1682298) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← 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)
- 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)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)