Journal
ARCHIVE FOR MATHEMATICAL LOGIC
Volume 62, Issue 7-8, Pages 931-939Publisher
SPRINGER HEIDELBERG
DOI: 10.1007/s00153-023-00869-3
Keywords
Linear continuous logic; Interpolation
Categories
Ask authors/readers for more resources
We prove the Robinson consistency theorem, as well as Craig, Lyndon, and Herbrand interpolation theorems, in linear continuous logic.
We prove Robinson consistency theorem as well as Craig, Lyndon and Herbrand interpolation theorems in linear continuous logic.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available