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)

Review text

Linear continuous logic is the fragment of continuous logic which restricts the connectives by only allowing one to multiply a formula by a real number or to add two formulae. In this paper, proofs are given of the classical interpolation theorems, that is, the Lyndon and Herbrand interpolation theorems, in the context of linear continuous logic. The other classical interpolation theorem, namely Craig's interpolation theorem, also holds in this context; indeed, in this paper, the linear continuous logic version of Robinson's joint consistency theorem is proven and in an earlier work it was shown how to derive the linear continuous logic version of Craig interpolation from the linear continuous logic version of Robinson consistency.

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)