6533b7d2fe1ef96bd125dee9

RESEARCH PRODUCT

On P-compatible hybrid identities and hyperidentities

Klaus DeneckeKatarzyna Hałkowska

subject

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

description

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.

yearjournalcountryeditionlanguage
1994-12-01Studia Logica
https://doi.org/10.1007/bf01057647