0000000000170448

AUTHOR

Klaus Denecke

showing 1 related works from this author

On P-compatible hybrid identities and hyperidentities

1994

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.

AlgebraMathematical logicSet (abstract data type)Structure (mathematical logic)History and Philosophy of ScienceLogicVariety (universal algebra)Computational linguisticsMathematicsStudia Logica
researchProduct