10 found
Sort by:
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. Klaus Denecke (1995). Hybrid Identities and Hybrid Equational Logic. Mathematical Logic Quarterly 41 (2):190-196.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. Klaus Denecke (1989). Hyperidentities of Dyadic Algebras. Mathematical Logic Quarterly 35 (4):303-310.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  5. Klaus Denecke (1988). Algebraische Eigenschaften Eines Funktional Unvollständigen Dreiwertigen Aussagenkalküls. Mathematical Logic Quarterly 34 (2):177-188.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Klaus Denecke (1987). Squares of Primal Algebras. Mathematical Logic Quarterly 33 (1):69-77.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. Klaus Denecke (1984). Algebraische charakterisierungen präprimaler algebren. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 30 (26‐29):455-464.
    No categories
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Klaus Denecke (1982). Independent Sets and Free Preprimal Algebras. Zeitschrift für Mathematische Logik Und Grundlagen der Mathematik 28 (33‐38):481-485.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  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 to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Klaus Denecke (1980). Implikative BCK‐Algebren. Mathematical Logic Quarterly 26 (34‐35):547-554.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation