The following pages link to (Q3874168):
Displaying 4 items.
- Algebraic logic for classical conjunction and disjunction (Q1189892) (← links)
- An alternative proof of the Hilbert-style axiomatization for the \(\{\wedge,\vee\}\)-fragment of classical propositional logic (Q2155505) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Logics preserving degrees of truth (Q2639042) (← links)