Hyperformulas and solid algebraic systems
From MaRDI portal
Publication:1005961
DOI10.1007/s11225-008-9152-3zbMath1162.08001OpenAlexW2087608336MaRDI QIDQ1005961
Publication date: 17 March 2009
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-008-9152-3
hyperidentityhypersubstitutionGalois correspondenceclone of formulashyperformulahypersatisfactionsolid class of algebraic systems
Related Items
FACTORISABLE MONOID OF LINEAR HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS OF TYPE ((n), (m)), REGULARITY OF RELATIONAL HYPERSUBSTITUTIONS FOR ALGEBRAIC SYSTEMS, All maximal unit-regular elements of Relhyp((m),(n)), Superassociative structures of terms and formulas defined by transformations preserving a partition, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The partial clone of linear formulas, Deterministic and non-deterministic hypersubstitutions for algebraic systems, Hypersatisfaction of quantifier free formulas in algebraic systems, All idempotent and regular elements in the monoid of generalized hypersubstitutions for algebraic systems of type (2; 2), Partial clones, Hyper-pseudoformulas and M-solid ordered pseudovarieties, Green’s Relations on Regular Elements of Semigroup of Relational Hypersubstitutions for Algebraic Systems of Type ((m), (n))
Cites Work