Homomorphism preservation theorems for many-valued structures

DOI10.1145/3793665MaRDI QIDQ7262324zbMATH OpenFDO

Authors James R. Carr

Publication date 11 June 2026

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1145/3793665

zbMATH Keywords

constraint satisfactionfinite model theorymany-valued logicpredicate logicpreservation theorems

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A counterexample to a conjecture of Scott and Suppes
• An Algebraic Approach to Valued Constraint Satisfaction
• An interpolation theorem in the predicate calculus
• Arboreal Categories: An Axiomatic Theory of Resources
• Back-and-forth systems for fuzzy first-order models
• Containment of conjunctive queries on annotated relations
• Handbook of mathematical fuzzy logic. Volume 1
• Homomorphism preservation theorems
• scientific article; zbMATH DE number 4008383 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• Locality theorems in semiring semantics
• Logic and Implication
• Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
• Monotone versus positive
• Preserving mappings in fuzzy predicate logics
• Semiring-based constraint satisfaction and optimization
• Singly generated quasivarieties and residuated structures
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• Truth-Preservation under Fuzzy pp-Formulas

This page was built for publication: Homomorphism preservation theorems for many-valued structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7262324)