Locality in residuated-lattice structures

DOI10.46298/LMCS-22(3:7)2026MaRDI QIDQ7349418zbMATH OpenFDO

Authors James R. Carr

Publication date 16 September 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(3:7)2026

Mathematics Subject Classification ID

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

Cites work

• A van Benthem theorem for fuzzy modal logic
• An Algebraic Approach to Valued Constraint Satisfaction
• Applications of ultraproducts: from compactness to fuzzy elementary classes
• Asymptotic truth-value laws in many-valued logics
• Back-and-forth systems for fuzzy first-order models
• Elements of finite model theory.
• Finite model theory and its applications.
• Handbook of mathematical fuzzy logic. Volume 1
• scientific article; zbMATH DE number 3819693 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• scientific article; zbMATH DE number 3266604 (Why is no real title available?)
• Locality theorems in semiring semantics
• Logic and Implication
• On monadic NP vs monadic co-NP
• Residuated lattices. An algebraic glimpse at substructural logics
• Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
• The polyhedral geometry of Wajsberg hoops
• Truth-Preservation under Fuzzy pp-Formulas

This page was built for publication: Locality in residuated-lattice structures

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