The following pages link to Daniele Mundici (Q186051):
Displaying 50 items.
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- AF inverse monoids and the structure of countable MV-algebras (Q308140) (← links)
- Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces (Q321583) (← links)
- Hopfian \(\ell\)-groups, MV-algebras and AF \({\mathrm{C}^{*}}\)-algebras (Q339417) (← links)
- Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups (Q343592) (← links)
- An algebraic characterization of o-minimal and weakly o-minimal MV-chains (Q392380) (← links)
- Varieties generated by unital abelian \(\ell\)-groups (Q401022) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Interval MV-algebras and generalizations. (Q459040) (← links)
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit. (Q471915) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- Germinal theories in Łukasiewicz logic (Q515569) (← links)
- Representing finitely generated refinement monoids as graph monoids (Q524471) (← links)
- Measure-free conditioning and extensions of additive measures on finite MV-algebras (Q622033) (← links)
- Measures, states and de Finetti maps on pseudo-BCK algebras (Q622056) (← links)
- Fault-tolerant search algorithms. Reliable computation with unreliable information (Q625104) (← links)
- Advanced Łukasiewicz calculus and MV-algebras (Q626097) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Consequence and interpolation in Łukasiewicz logic (Q647417) (← links)
- Revisiting the Farey AF algebra (Q653928) (← links)
- Quantifier elimination and other model-theoretic properties of BL-algebras (Q654010) (← links)
- Finitely presented lattice-ordered abelian groups with order-unit (Q661891) (← links)
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz (Q677079) (← links)
- Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic (Q703371) (← links)
- The algebra of fuzzy truth values (Q703376) (← links)
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- On simplicity of formulas (Q757354) (← links)
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- (Q791518) (redirect page) (← links)
- Calculus with the quantifier of elementary equivalence (Q791519) (← links)
- On heads versus tapes (Q792093) (← links)
- That SCI has the interpolation property (Q800345) (← links)
- Some results on quantifiers (Q801899) (← links)
- Weak \((\mathfrak{m},\mathfrak{n})\)-distributivity of lattice ordered groups and of generalized MV-algebras (Q816879) (← links)
- Frames and MV-algebras (Q817695) (← links)
- A characterization of the free \(n\)-generated MV-algebra (Q818513) (← links)
- \(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic (Q835129) (← links)
- Truth-depressing hedges and BL-logic (Q853470) (← links)
- Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit (Q855747) (← links)
- Bernoulli automorphisms of finitely generated free MV-algebras (Q860428) (← links)
- Revisiting the free 2-generator abelian \(\ell\)-group (Q861847) (← links)
- Bookmaking over infinite-valued events (Q868109) (← links)
- Truth values on generalizations of some commutative fuzzy structures (Q869115) (← links)
- Some algebraic theory for many-valued relation algebras (Q873744) (← links)
- Łukasiewicz logic and Riesz spaces. (Q894318) (← links)
- Scalar extensions for algebraic structures of Łukasiewicz logic. (Q898191) (← links)
- The Conrad program: from \(l\)-groups to algebras of logic. (Q906860) (← links)
- The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics (Q912089) (← links)
- The nonaxiomatizability of \(L(Q^ 2_{\aleph_ 1})\) by finitely many schemata (Q918971) (← links)
