The following pages link to (Q3204458):
Displayed 5 items.
- A preliminary study of MV-algebras with two quantifiers which commute (Q332078) (← links)
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)