6 found
Sort by:
  1. M. E. Adams, K. V. Adaricheva, W. Dziobiak & A. V. Kravchenko (2004). From the Editors. Studia Logica 78 (1-2):3-5.
  2. M. E. Adams, K. V. adaricheva, W. Dziobiak & A. V. Kravchenko (2004). Open Questions Related to the Problem of Birkhoff and Maltsev. Studia Logica 78 (1-2):357 - 378.
    The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. M. E. Adams & W. Dziobiak (1996). From the Editors. Studia Logica 56 (1-2):3-5.
  4. M. E. Adams & W. Dziobiak (1996). List of Published Papers Studia Logica 56 (1996), 277-290 Special Issue: Priestley Duality. Studia Logica 56:277-290.
     
    My bibliography  
     
    Export citation  
  5. M. E. Adams & W. Dziobiak (1995). Joins of Minimal Quasivarieties. Studia Logica 54 (3):371 - 389.
    LetL(K) denote the lattice (ordered by inclusion) of quasivarieties contained in a quasivarietyK and letD 2 denote the variety of distributive (0, 1)-lattices with 2 additional nullary operations. In the present paperL(D 2) is described. As a consequence, ifM+N stands for the lattice join of the quasivarietiesM andN, then minimal quasivarietiesV 0,V 1, andV 2 are given each of which is generated by a 2-element algebra and such that the latticeL(V 0+V1), though infinite, still admits an easy and nice description (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  6. M. E. Adams & R. Cignoli (1990). A Note on the Axiomatization of Equational Classes of $N$-Valued Ł Ukasiewicz Algebras. Notre Dame Journal of Formal Logic 31 (2):304-307.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation