Pages that link to "Item:Q2351509"
From MaRDI portal
The following pages link to Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem. (Q2351509):
Displaying 5 items.
- Pavelka-style completeness in expansions of Łukasiewicz logic (Q937210) (← links)
- Finite coverability property (Q1991579) (← links)
- A characterization of pseudofinite MV-algebras (Q2153659) (← links)
- Operators on MV-algebras and their representations. (Q2351465) (← links)
- Embeddings of totally ordered MV-algebras of bounded cardinality (Q3614122) (← links)