16 found
Order:
  1.  3
    Klaus Denecke (1995). Hybrid Identities and Hybrid Equational Logic. Mathematical Logic Quarterly 41 (2):190-196.
    Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff-type-characterization of hybrid solid varieties and develop a hybrid equational logic.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2.  5
    Klaus Denecke & Katarzyna Hałkowska (1994). On P-Compatible Hybrid Identities and Hyperidentities. Studia Logica 53 (4):493-501.
    P-compatible identities are built up from terms with a special structure. We investigate a variety defined by a set ofP-compatible hybrid identities and answer the question whether a variety defined by a set ofP-compatible hyperidentities can be solid.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3.  15
    Klaus Denecke & Dara Phusanga (2008). Hyperformulas and Solid Algebraic Systems. Studia Logica 90 (2):263 - 286.
    Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of the given type. The interpretations of formulas on an algebraic system of the same type form a many-sorted algebra with similar properties. The satisfaction of a formula by an algebraic system defines a Galois connection between classes of algebraic systems of the same type and collections of formulas. Hypersubstitutions are (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    Klaus Denecke (1987). Squares of Primal Algebras. Mathematical Logic Quarterly 33 (1):69-77.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  1
    Klaus Denecke (1980). Implikative BCK‐Algebren. Mathematical Logic Quarterly 26 (34‐35):547-554.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6. Klaus Denecke (1984). Algebraische charakterisierungen präprimaler algebren. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (26‐29):455-464.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Klaus Denecke (1988). Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls. Mathematical Logic Quarterly 34 (2):177-188.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. Klaus Denecke (1988). Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):177-188.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Klaus Denecke (1981). Die endlichen, subdirekt irreduziblen elemente der varietät der beschränkten kommutativen bck‐algebren. Mathematical Logic Quarterly 27 (16‐17):265-272.
    No categories
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  10. Klaus Denecke (1981). Die endlichen, subdirekt irreduziblen elemente der varietät der beschränkten kommutativen bck-algebren. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (16-17):265-272.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Klaus Denecke & Dara Phusanga (2008). Hyperformulas and Solid Algebraic Systems. Studia Logica 90 (2):263-286.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. Klaus Denecke (1989). Hyperidentities of Dyadic Algebras. Mathematical Logic Quarterly 35 (4):303-310.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  13. Klaus Denecke (1989). Hyperidentities of Dyadic Algebras. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (4):303-310.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. Klaus Denecke (1980). Implikative BCK-Algebren. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (34-35):547-554.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. Klaus Denecke (1982). Independent Sets and Free Preprimal Algebras. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33‐38):481-485.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16. Klaus Denecke (1987). Squares of Primal Algebras. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):69-77.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography