Craig Interpolation in the Presence of Unreliable Connectives

Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. (J Logic Comput, 2013)], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.

[1]  H. Jerome Keisler,et al.  Craig interpolation for networks of sentences , 2012, Ann. Pure Appl. Log..

[2]  William Craig,et al.  Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.

[3]  Evert W. Beth,et al.  On Padoa’s Method in the Theory of Definition , 1953 .

[4]  Giovanna D'Agostino.  Interpolation in non-classical logics , 2008, Synthese.

[5]  Ranjit Jhala,et al.  Interpolant-Based Transition Relation Approximation , 2005, CAV.

[6]  Enrico Marchioni,et al.  Craig interpolation for semilinear substructural logics , 2012, Math. Log. Q..

[7]  Dov M. Gabbay,et al.  Interpolation in Practical Formal Development , 2001, Log. J. IGPL.

[8]  M. Karoubi.  K-Theory: An Introduction , 1978 .

[9]  Alessandra Carbone,et al.  The Craig Interpolation Theorem for Schematic Systems , 1996 .

[10]  Dick de Jongh,et al.  Interpolation, Definability and Fixed Points in Interpretability Logics , 1998, Advances in Modal Logic.

[11]  J. Czelakowski,et al.  Amalgamation and Interpolation in Abstract Algebraic Logic , 2003 .

[12]  Franco Montagna.  Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation , 2012, Stud Logica.

[13]  Alasdair Urquhart,et al.  Failure of interpolation in relevant logics , 1993, J. Philos. Log..

[14]  Solomon Feferman,et al.  Harmonious logic: Craig’s interpolation theorem and its descendants , 2008, Synthese.

[15]  Cristina Sernadas,et al.  Preservation of Interpolation Features by Fibring , 2008, J. Log. Comput..

[16]  Hiroakira Ono,et al.  Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics , 2010, J. Log. Comput..

[17]  Dov M. Gabbay,et al.  MODAL AND SUPERINTUITIONISTIC LOGICS: BASIC CONCEPTS , 2005 .

[18]  A..  Interpolants , cut elimination and flow graphs for the propositional calculus , 1997 .

[19]  G. Sacks.  A DECISION METHOD FOR ELEMENTARY ALGEBRA AND GEOMETRY , 2003 .

[20]  Maarten Marx,et al.  Repairing the interpolation theorem in quantified modal logic , 2003, Ann. Pure Appl. Log..

[21]  Lev D. Beklemishev.  On the Craig interpolation and the fixed point properties of GLP , 2010 .

[22]  Cristina Sernadas,et al.  Preservation of Craig interpolation by the product of matrix logics , 2013, J. Appl. Log..

[23]  Kenneth L. McMillan,et al.  An interpolating theorem prover , 2005, Theor. Comput. Sci..

[24]  Cristina Sernadas,et al.  Approximate reasoning about logic circuits with single-fan-out unreliable gates , 2014, J. Log. Comput..

[25]  William Craig,et al.  Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.

[26]  Janusz Czelakowski,et al.  Sentential logics and Maehara Interpolation Property , 1985, Stud Logica.

[27]  Cristina Sernadas,et al.  Interpolation via translations , 2009, Math. Log. Q..

[28]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.

[29]  Bernd Becker,et al.  Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs , 2010, SAT.

[30]  Martin Fränzle,et al.  Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems , 2011, TACAS.

[31]  Dov M. Gabbay,et al.  Interpolation and definability , 2005 .

[32]  Marcus Kracht,et al.  Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[33]  D. Marker.  Model theory : an introduction , 2002 .

[34]  George F. Schumm.  Some failures of interpolation in modal logic , 1986, Notre Dame J. Formal Log..

[35]  R. Lyndon.  An interpolation theorem in the predicate calculus. , 1959 .

[36]  Maria Paola Bonacina,et al.  On Interpolation in Decision Procedures , 2011, TABLEAUX.

[37]  Razvan Diaconescu.  An Institution-independent Proof of Craig Interpolation Theorem , 2004, Stud Logica.

[38]  L. D. Beklemishev.  On the Craig interpolation and the fixed point property for GLP , 2007 .

[39]  Cristina Sernadas,et al.  On meet-combination of logics , 2012, J. Log. Comput..