Consistency and interpolation in linear continuous logic
Crossref DOI link: https://doi.org/10.1007/s00153-023-00869-3
Published Online: 2023-03-21
Published Print: 2023-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Malekghasemi, Mahya
Bagheri, Seyed-Mohammad http://orcid.org/0000-0003-1914-7558
Text and Data Mining valid from 2023-03-21
Version of Record valid from 2023-03-21
Article History
Received: 5 January 2016
Accepted: 16 February 2023
First Online: 21 March 2023