Pages that link to "Item:Q4787877"
From MaRDI portal
The following pages link to Universal classes of MV-chains with applications to many-valued logics. (Q4787877):
Displaying 14 items.
- Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic (Q723257) (← links)
- Varieties of BL-algebras (Q816863) (← links)
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Least \(V\)-quasivarieties of MV-algebras (Q1697351) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
- Varieties of BL-algebras. I: General properties. (Q1812017) (← links)
- The logic of equilibrium and abelian lattice ordered groups (Q1879318) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Implicit definability of truth constants in Łukasiewicz logic (Q2317518) (← links)
- Hyperfinite MV-algebras (Q2376570) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)