Pages that link to "Item:Q1066930"
From MaRDI portal
The following pages link to Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras (Q1066930):
Displaying 20 items.
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras (Q1013998) (← links)
- Satisfiability in many-valued sentential logic is NP-complete (Q1100196) (← links)
- Priestley duality and quotient lattices of many-valued algebras (Q1192092) (← links)
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics (Q1306836) (← links)
- Strict MV-algebras (Q1306872) (← links)
- Algebraic structures in fuzzy logic (Q1311717) (← links)
- Demiquantifiers on \(\ell \)-groups (Q1991601) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Bézout Domains with Nonzero Unit Radical (Q3562320) (← links)
- Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985 (Q3755423) (← links)
- Inverse topological systems and compactness in abstract model theory (Q3767332) (← links)
- (Q5288320) (← links)
- Nilpotency and the Hamiltonian property for cancellative residuated lattices (Q5864698) (← links)
- ALGEBRAIC EXPANSIONS OF LOGICS (Q5879177) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- Torsion factors of commutative monoid semirings (Q6098990) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
- Additively idempotent matrix semirings (Q6655526) (← links)
