Consistency and interpolation in linear continuous logic

DOI10.1007/S00153-023-00869-3MaRDI QIDQ6053505zbMATH OpenFDO

Authors Mahya Malekghasemi, Seyed Mohammad Bagheri

Publication date 27 September 2023

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00153-023-00869-3

zbMATH Keywords

interpolationlinear continuous logic

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Properties of classes of models (03C52)

Recommendations

• Preservation theorems in linear continuous logic
• Interpolation in fragments of classical linear logic
• Completeness for linear continuous logic
• Maximality of linear continuous logic
• Joint Consistency of Fuzzy Theories

Cites work

• scientific article; zbMATH DE number 47995 (Why is no real title available?)
• scientific article; zbMATH DE number 1022519 (Why is no real title available?)
• Linear model theory for Lipschitz structures
• Model theory for metric structures
• Model theory.

Cited in

(5)

• On pushout consistency, modularity and interpolation for logical specifications
• Continuous first order logic and local stability
• Linearly-Used Continuations in the Enriched Effect Calculus
• Robinson consistency in many-sorted hybrid first-order logics
• Intermediate value linearizability: a quantitative correctness criterion

This page was built for publication: Consistency and interpolation in linear continuous logic

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