From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (Q2352454): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Cancellative residuated lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some theorems about the sentential calculi of Lewis and Heyting / rank
 
Normal rank
Property / cites work
 
Property / cites work: The algebra of topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concerning cone algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residuated lattices. An algebraic glimpse at substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized MV-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5693612 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3584003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ordered groups with a conucleus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties generated by unital abelian \(\ell\)-groups / rank
 
Normal rank

Latest revision as of 10:49, 10 July 2024

scientific article
Language Label Description Also known as
English
From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices
scientific article

    Statements

    From interior algebras to unital \(\ell\)-groups: a unifying treatment of modal residuated lattices (English)
    0 references
    0 references
    2 July 2015
    0 references
    interior algebras
    0 references
    \(\ell\)-groups
    0 references
    Gödel-McKinsey-Tarski translation
    0 references
    nucleus
    0 references
    conucleus
    0 references

    Identifiers