The following pages link to Vincenzo Marra (Q279326):
Displayed 50 items.
- The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic (Q279327) (← links)
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality (Q404568) (← links)
- The dual adjunction between MV-algebras and Tychonoff spaces (Q454391) (← links)
- Stone duality above dimension zero: axiomatising the algebraic theory of \(\mathrm{C}(X)\) (Q502643) (← links)
- The problem of artificial precision in theories of vagueness: a note on the rôle of maximal consistency (Q907884) (← links)
- A characterization of MV-algebras free over finite distributive lattices (Q938236) (← links)
- Gödel algebras free over finite distributive lattices (Q952491) (← links)
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Algebra and probability in many-valued reasoning. A special issue of Studia Logica. Foreword (Q965909) (← links)
- The underlying group of any finitely generated abelian lattice-ordered group is free (Q997128) (← links)
- De Finetti's no-Dutch-book criterion for Gödel logic (Q1005945) (← links)
- A temporal semantics for basic logic (Q1037596) (← links)
- Generalised states: a multi-sorted algebraic approach to probability (Q1699731) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- From Freudenthal's spectral theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra (Q1743455) (← links)
- Combinatorial fans, lattice-ordered groups, and their neighbours: A short excursion (Q1865529) (← links)
- Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras (Q1935862) (← links)
- Every Abelian \(\ell\)-group is ultrasimplicial (Q1972428) (← links)
- Orders on groups, and spectral spaces of lattice-groups (Q1987543) (← links)
- The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522) (← links)
- Priestley duality for MV-algebras and beyond (Q2121252) (← links)
- General affine adjunctions, Nullstellensätze, and dualities (Q2196331) (← links)
- Idempotent generated algebras and Boolean powers of commutative rings (Q2343037) (← links)
- De Vries powers: a generalization of Boolean powers for compact Hausdorff spaces. (Q2349937) (← links)
- Unital hyperarchimedean vector lattices (Q2451994) (← links)
- Computing coproducts of finitely presented Gödel algebras (Q2503401) (← links)
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans, II (Q2838075) (← links)
- Two Principles in Many-Valued Logic (Q2948588) (← links)
- Computing Minimal Axiomatizations in Godel Propositional Logic (Q3097869) (← links)
- Stone duality for real-valued multisets (Q3143541) (← links)
- The Lebesgue state of a unital abelian lattice-ordered group, II (Q3401165) (← links)
- Lattice-ordered Abelian groups and Schauder bases of unimodular fans (Q3420373) (← links)
- (Q3421450) (← links)
- (Q3440002) (← links)
- The Chinese Remainder Theorem for Strongly Semisimple MV-Algebras and Lattice-Groups (Q3454728) (← links)
- Weinberg's theorem, Elliott's ultrasimplicial property, and a characterisation of free lattice-ordered Abelian groups (Q3516721) (← links)
- Finitely Presented MV-algebras with Finite Automorphism Group (Q3583098) (← links)
- (Q3584006) (← links)
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras (Q3605516) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)
- Open Partitions and Probability Assignments in Gödel Logic (Q3638209) (← links)
- (Q4463932) (← links)
- (Q4583681) (← links)
- EMBEDDING FINITELY GENERATED ABELIAN LATTICE-ORDERED GROUPS: HIGMAN'S THEOREM AND A REALISATION OF $\pi$ (Q4819568) (← links)
- Łukasiewicz Logic: An Introduction (Q4914513) (← links)
- A characterisation of the category of compact Hausdorff spaces (Q5137920) (← links)
- The Lebesgue state of a unital abelian lattice-ordered group (Q5309027) (← links)
- Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications (Q5427255) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473748) (← links)