Pages that link to "Item:Q1685564"

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)