{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T15:12:23Z","timestamp":1648739543510},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2014,4,2]],"date-time":"2014-04-02T00:00:00Z","timestamp":1396396800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11787-014-0101-9","type":"journal-article","created":{"date-parts":[[2014,4,1]],"date-time":"2014-04-01T13:29:35Z","timestamp":1396358975000},"page":"423-446","source":"Crossref","is-referenced-by-count":1,"title":["Craig Interpolation in the Presence of Unreliable Connectives"],"prefix":"10.1007","volume":"8","author":[{"given":"Jo\u00e3o","family":"Rasga","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Amlcar","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,4,2]]},"reference":[{"issue":"1-3","key":"101_CR1","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0168-0072(03)00059-9","volume":"124","author":"C. Areces","year":"2003","unstructured":"Areces C., Blackburn P., Marx M.: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3), 287\u2013299 (2003)","journal-title":"Ann. Pure Appl. Logic"},{"key":"101_CR2","unstructured":"Areces, C., Hoogland, E., de Jongh, D.: Interpolation, definability and fixed points in interpretability logics. In: Advances in Modal Logic, vol. 119 of CSLI Lecture Notes, pp. 35\u201358. CSLI Publications, Stanford (2001)"},{"key":"101_CR3","unstructured":"Beklemishev, L.D.: On the Craig interpolation and the fixed point properties for GLP. In: Proofs, Categories and Computations, vol. 13 of Tributes, pp. 49\u201360. College Publications, London (2010)"},{"key":"101_CR4","unstructured":"Beth, E.W.: On Padoa\u2019s method in the theory of definition. Nederl. Akad. Wetensch. Proc. Ser. A. 56(Indagationes Math.), 15, 330\u2013339 (1953)"},{"issue":"2","key":"101_CR5","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1093\/jigpal\/9.2.231","volume":"9","author":"J. Bicarregui","year":"2001","unstructured":"Bicarregui J., Dimitrakos T., Gabbay D., Maibaum T.: Interpolation in practical formal development. Logic J. IGPL. 9(2), 231\u2013243 (2001)","journal-title":"Logic J. IGPL."},{"key":"101_CR6","doi-asserted-by":"crossref","unstructured":"Bonacina, M.P., Johansson, M.: On interpolation in decision procedures. In: Automated Reasoning with Analytic Tableaux and Related Methods, vol. 6793 of Lecture Notes in Computer Science, pp. 1\u201316. Springer, Berlin (2011)","DOI":"10.1007\/978-3-642-22119-4_1"},{"key":"101_CR7","doi-asserted-by":"crossref","unstructured":"Carbone, A.: The Craig interpolation theorem for schematic systems. In: Collegium Logicum, Vol. 2, vol. 2 of Coll. Logicum Ann. Kurt-G\u00f6del-Soc., pp. 87\u2013100. Springer, Berlin (1996)","DOI":"10.1007\/978-3-7091-9461-4_6"},{"issue":"3","key":"101_CR8","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0168-0072(96)00019-X","volume":"83","author":"A. Carbone","year":"1997","unstructured":"Carbone A.: Interpolants, cut elimination and flow graphs for the propositional calculus. Ann. Pure Appl. Logic. 83(3), 249\u2013299 (1997)","journal-title":"Ann. Pure Appl. Logic."},{"issue":"5","key":"101_CR9","doi-asserted-by":"crossref","first-page":"515","DOI":"10.1002\/malq.200810013","volume":"55","author":"W. Carnielli","year":"2009","unstructured":"Carnielli W., Rasga J., Sernadas C.: Interpolation via translations. Math. Logic Q. 55(5), 515\u2013534 (2009)","journal-title":"Math. Logic Q."},{"issue":"1","key":"101_CR10","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1093\/logcom\/exm061","volume":"18","author":"W.A. Carnielli","year":"2008","unstructured":"Carnielli W.A., Rasga J., Sernadas C.: Preservation of interpolation features by fibring. J. Logic Comput. 18(1), 123\u2013151 (2008)","journal-title":"J. Logic Comput."},{"key":"101_CR11","doi-asserted-by":"crossref","first-page":"250","DOI":"10.2307\/2963593","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig W.: Linear reasoning. A new form of the Herbrand\u2013Gentzen theorem. J. Symb. Logic. 22, 250\u2013268 (1957)","journal-title":"J. Symb. Logic."},{"key":"101_CR12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.2307\/2963594","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig W.: Three uses of the Herbrand\u2013Gentzen theorem in relating model theory and proof theory. J. Symb. Logic. 22, 269\u2013285 (1957)","journal-title":"J. Symb. Logic."},{"issue":"3","key":"101_CR13","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00394446","volume":"44","author":"J. Czelakowski","year":"1985","unstructured":"Czelakowski J.: Sentential logics and Maehara interpolation property. Studia Log. 44(3), 265\u2013283 (1985)","journal-title":"Studia Log."},{"key":"101_CR14","unstructured":"Czelakowski, J., Pigozzi, D.: Amalgamation and interpolation in abstract algebraic logic. In: Models, Algebras, and Proofs, vol. 203 of Lecture Notes in Pure and Applied Mathematics, pp. 187\u2013265. Dekker (1999)"},{"issue":"3","key":"101_CR15","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s11229-008-9359-x","volume":"164","author":"G. D\u2019Agostino","year":"2008","unstructured":"D\u2019Agostino G.: Interpolation in non-classical logics. Synthese. An International Journal for Epistemology, Methodology and Philosophy of Science, 164(3), 421\u2013435 (2008)","journal-title":"Synthese. An International Journal for Epistemology, Methodology and Philosophy of Science,"},{"issue":"1","key":"101_CR16","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1023\/B:STUD.0000034185.62660.d6","volume":"77","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu R.: An institution-independent proof of Craig interpolation theorem. Studia Log. 77(1), 59\u201379 (2004)","journal-title":"Studia Log."},{"issue":"3","key":"101_CR17","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s11229-008-9354-2","volume":"164","author":"S. Feferman","year":"2008","unstructured":"Feferman S. Harmonious logic: Craig\u2019s interpolation theorem and its descendants. Synthese. 164(3), 341\u2013357 (2008)","journal-title":"Synthese."},{"issue":"1-2","key":"101_CR18","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"J.M. Font","year":"2003","unstructured":"Font J.M., Jansana R., Pigozzi D.: A survey of abstract algebraic logic. Studia Log. 74(1-2), 13\u201397 (2003)","journal-title":"Studia Log."},{"key":"101_CR19","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., Maksimova, L.: Interpolation and Definability, vol. 46 of Oxford Logic Guides. Modal and Intuitionistic Logics. The Clarendon Press, Oxford University Press (2005)","DOI":"10.1093\/acprof:oso\/9780198511748.003.0002"},{"key":"101_CR20","doi-asserted-by":"crossref","unstructured":"Jhala, R., McMillan, K.L.: Interpolant-based transition relation approximation. Log. Methods Comput. Sci. 3(4), 4:1, (electronic) (2007)","DOI":"10.2168\/LMCS-3(4:1)2007"},{"issue":"9","key":"101_CR21","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1016\/j.apal.2012.03.001","volume":"163","author":"H.J. Keisler","year":"2012","unstructured":"Keisler H.J., Keisler J.M.: Craig interpolation for networks of sentences. Ann. Pure Appl. Logic. 163(9), 1322\u20131344 (2012)","journal-title":"Ann. Pure Appl. Logic."},{"issue":"4","key":"101_CR22","doi-asserted-by":"crossref","first-page":"823","DOI":"10.1093\/logcom\/exn084","volume":"20","author":"H. Kihara","year":"2010","unstructured":"Kihara H., Ono H.: Interpolation properties, Beth definability properties and amalgamation properties for substructural logics. J. Logic Comput. 20(4), 823\u2013875 (2010)","journal-title":"J. Logic Comput."},{"issue":"4","key":"101_CR23","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"Kracht M., Wolter F.: Properties of independently axiomatizable bimodal logics. J. Symb. Logic. 56(4), 1469\u20131485 (1991)","journal-title":"J. Symb. Logic."},{"key":"101_CR24","doi-asserted-by":"crossref","first-page":"129","DOI":"10.2140\/pjm.1959.9.129","volume":"9","author":"R.C. Lyndon","year":"1959","unstructured":"Lyndon R.C.: An interpolation theorem in the predicate calculus. Pac. J. Math. 9, 129\u2013142 (1959)","journal-title":"Pac. J. Math."},{"key":"101_CR25","unstructured":"Maehara, S.: On the interpolation theorem of Craig. Math. Soc. Jpn. S\u016bgakugaku, 12, 235\u2013237 (1960\/1961)"},{"issue":"6","key":"101_CR26","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1002\/malq.201200004","volume":"58","author":"E. Marchioni","year":"2012","unstructured":"Marchioni E., Metcalfe G.: Craig interpolation for semilinear substructural logics. Math. Logic Q. 58(6), 468\u2013481 (2012)","journal-title":"Math. Logic Q."},{"key":"101_CR27","unstructured":"Marker, D.: Model Theory: An Introduction, vol. 217 of Graduate Texts in Mathematics. Springer-Verlag, Berlin (2002)"},{"issue":"1","key":"101_CR28","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.tcs.2005.07.003","volume":"345","author":"K.L. McMillan","year":"2005","unstructured":"McMillan K.L.: An interpolating theorem prover. Theor. Comput. Sci. 345(1), 101\u2013121 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"101_CR29","doi-asserted-by":"crossref","unstructured":"Miller, C., Kupferschmid, S., Lewis, M., Becker, B.: Encoding techniques, Craig interpolants and bounded model checking for incomplete designs. In: Theory and Applications of Satisfiability Testing\u2014SAT, vol. 6175 of Lecture Notes in Computer Science, pp. 194\u2013208. Springer (2010)","DOI":"10.1007\/978-3-642-14186-7_17"},{"issue":"1-2","key":"101_CR30","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s11225-012-9379-x","volume":"100","author":"F. Montagna","year":"2012","unstructured":"Montagna F.: \u0394-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation. Studia Log. 100(1-2), 289\u2013317 (2012)","journal-title":"Studia Log."},{"issue":"1","key":"101_CR31","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1305\/ndjfl\/1093636529","volume":"27","author":"G.F. Schumm","year":"1986","unstructured":"Schumm G.F.: Some failures of interpolation in modal logic. Notre Dame J. Form. Logic. 27(1), 108\u2013110 (1986)","journal-title":"Notre Dame J. Form. Logic."},{"key":"101_CR32","doi-asserted-by":"crossref","unstructured":"Sernadas, A., Rasga, J., Sernadas, C., Mateus, P.: Approximate reasoning about logic circuits with single-fan-out unreliable gates. J. Logic Comput., in print (2013)","DOI":"10.1093\/logcom\/ext038"},{"issue":"6","key":"101_CR33","doi-asserted-by":"crossref","first-page":"1453","DOI":"10.1093\/logcom\/exr035","volume":"22","author":"A. Sernadas","year":"2012","unstructured":"Sernadas A., Sernadas C., Rasga J.: On meet-combination of logics. J. Logic Comput. 22(6), 1453\u20131470 (2012)","journal-title":"J. Logic Comput."},{"issue":"3","key":"101_CR34","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/j.jal.2013.06.001","volume":"11","author":"C. Sernadas","year":"2013","unstructured":"Sernadas C., Rasga J., Sernadas A.: Preservation of Craig interpolation by the product of matrix logics. J. Appl. Logic. 11(3), 328\u2013349 (2013)","journal-title":"J. Appl. Logic."},{"key":"101_CR35","doi-asserted-by":"crossref","unstructured":"Tarski, A.: A Decision Method for Elementary Algebra and Geometry. 2nd edn. University of California Press, (1951)","DOI":"10.1525\/9780520348097"},{"key":"101_CR36","doi-asserted-by":"crossref","unstructured":"Teige, T., Fr\u00e4nzle, M.: Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability. Log. Methods Comput. Sci. 8(2), 2:16, 32 (2012)","DOI":"10.2168\/LMCS-8(2:16)2012"},{"issue":"5","key":"101_CR37","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/BF01349560","volume":"22","author":"A. Urquhart","year":"1993","unstructured":"Urquhart A.: Failure of interpolation in relevant logics. J. Philos. Logic. 22(5), 449\u2013479 (1993)","journal-title":"J. Philos. Logic."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-014-0101-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-014-0101-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-014-0101-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:31:48Z","timestamp":1648737108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-014-0101-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,2]]},"references-count":37,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["101"],"URL":"https:\/\/doi.org\/10.1007\/s11787-014-0101-9","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,4,2]]}}}