The following pages link to Characterizing finite-valuedness (Q1795205):
Displaying 8 items.
- Compositional meaning in logic (Q1682292) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Plug and Play Negations (Q3305346) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Axiomatizing non-deterministic many-valued generalized consequence relations (Q6088603) (← links)
