The following pages link to Roberto L. O. Cignoli (Q1817693):
Displaying 50 items.
- (Q519862) (redirect page) (← links)
- Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)'' (Q519863) (← links)
- An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz (Q677079) (← links)
- Boolean skeletons of MV-algebras and \(\ell \)-groups (Q763315) (← links)
- (Q816858) (redirect page) (← links)
- Standard completeness of Hájek basic logic and decompositions of BL-chains (Q816859) (← links)
- Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit (Q855747) (← links)
- Free MV\(_n\)-algebras (Q934891) (← links)
- Commutative integral bounded residuated lattices with an added involution (Q1035650) (← links)
- Ayda Ignez Arruda (1936-1983) (Q1061106) (← links)
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350) (← links)
- Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras (Q1138549) (← links)
- The lattice structure of some Lukasiewicz algebras (Q1169459) (← links)
- Quantifiers on distributive lattices (Q1185078) (← links)
- Complete and atomic algebras of the infinite valued Łukasiewicz logic (Q1189890) (← links)
- Priestley duality and quotient lattices of many-valued algebras (Q1192092) (← links)
- The lattice of global sections of sheaves of chains over Boolean spaces (Q1252873) (← links)
- Prime spectra of lattice-ordered abelian groups (Q1295718) (← links)
- Reconstructing \(C^*\)-algebras from their Murray von Neumann orders (Q1313387) (← links)
- Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic (Q1407598) (← links)
- Extending Stone duality to multisets and locally finite MV-algebras. (Q1434764) (← links)
- Free Stone algebras (Q1579568) (← links)
- An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit (Q1580661) (← links)
- Free algebras in varieties of BL-algebras with a Boolean retract. (Q1771935) (← links)
- Algebraic foundations of many-valued reasoning (Q1817694) (← links)
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi (Q1838472) (← links)
- Free cancellative hoops (Q1866810) (← links)
- On a class of left-continuous \(\text t\)-norms (Q1867636) (← links)
- Free \(Q\)-distributive lattices (Q1914057) (← links)
- Boolean products of MV-algebras: hypernormal MV-algebras (Q1916849) (← links)
- The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit (Q1922900) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- A categorical equivalence for Stonean residuated lattices (Q2422315) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- (Q2737552) (← links)
- (Q3140367) (← links)
- Stone duality for real-valued multisets (Q3143541) (← links)
- AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON <i>n</i>‐VALUED LUKASIEWICZ LOGICS (Q3344199) (← links)
- (Q3508714) (← links)
- Constructive Logic with Strong Negation as a Substructural Logic (Q3583096) (← links)
- (Q3605554) (← links)
- (Q3621799) (← links)
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic (Q3656764) (← links)
- (Q3674731) (← links)
- (Q3739100) (← links)
- (Q3903044) (← links)
- (Q4055684) (← links)
- Injective de Morgan and Kleene Algebras (Q4056051) (← links)
