Pages that link to "Item:Q1685564"

The following pages link to An algebraic view of super-Belnap logics (Q1685564):

Displaying 16 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)
• Logics of upsets of De Morgan lattices (Q6140751) (← links)
• A sound and complete tableaux calculus for Reichenbach's quantum mechanics logic (Q6150668) (← links)