A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: How many variables does a quasivariety need? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3411966 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293501 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3164468 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Category Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equivalence of consequence operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraizable logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The class of Kleene algebras satisfying an interpolation property and Nelson algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4530231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morita equivalence of algebraic theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal Logics Between S 4 and S 5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebra valued functors in general and tensor products in particular / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic point lattices of quasivarieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattices With Involution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and techniques in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4215784 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice of normal modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896512 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3751631 / 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: Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular / rank
 
Normal rank

Revision as of 02:14, 17 July 2024

scientific article; zbMATH DE number 6966180
Language Label Description Also known as
English
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
scientific article; zbMATH DE number 6966180

    Statements

    A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (English)
    0 references
    0 references
    26 October 2018
    0 references
    generalized varieties
    0 references
    adjoint functor
    0 references
    category theory
    0 references
    universal algebra
    0 references
    category equivalence
    0 references
    matrix power
    0 references
    contextual translation
    0 references
    locally presentable category
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references