2 papers
cs.LO2026
Locality in Residuated-Lattice Structures
James Carr
Many-valued models generalise the structures from classical model theory by defining truth values for a model with an arbitrary algebra. Just as algebraic varieties provide semanti…
math.LO2026
Homomorphism Preservation Theorems for Many-Valued Structures
James Carr
A canonical result in model theory is the homomorphism preservation theorem (h.p.t.) which states that a first-order formula is preserved under homomorphisms iff it is equivalent t…