Switch to: Citations

Add references

You must login to add references.
  1. Dominions in quasivarieties of universal algebras.Alexander Budkin - 2004 - Studia Logica 78 (1):107 - 127.
    The dominion of a subalgebra H in an universal algebra A (in a class ) is the set of all elements such that for all homomorphisms if f, g coincide on H, then af = ag. We investigate the connection between dominions and quasivarieties. We show that if a class is closed under ultraproducts, then the dominion in is equal to the dominion in a quasivariety generated by . Also we find conditions when dominions in a universal algebra form a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
    The present paper is a study in abstract algebraic logic. We investigate the correspondence between the metalogical Beth property and the algebraic property of surjectivity of epimorphisms. It will be shown that this correspondence holds for the large class of equivalential logics. We apply our characterization theorem to relevance logics and many-valued logics.
    Download  
     
    Export citation  
     
    Bookmark   12 citations