Premium
Hybrid Identities and Hybrid Equational Logic
Author(s) -
Denecke Klaus
Publication year - 1995
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19950410206
Subject(s) - mathematics , identity (music) , hybrid system , equational logic , characterization (materials science) , type (biology) , order (exchange) , algebra over a field , pure mathematics , programming language , computer science , physics , business , rewriting , ecology , finance , machine learning , biology , acoustics , optics
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.