Hybrid Identities and Hybrid Equational Logic
Klaus Denecke · Mathematical logic quarterly · 1995
Abstract 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.