Craig interpolation in the presence of unreliable connectives

DOI10.1007/s11787-014-0101-9zbMath1342.03022MaRDI QIDQ2254572

João Rasga, Amílcar Sernadas, Cristina Sernadas

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-014-0101-9

zbMATH Keywords

probabilistic logic; arrow and turnstile interpolations; unreliable connectives

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03B48: Probability and inductive logic

68T37: Reasoning under uncertainty in the context of artificial intelligence

03B70: Logic in computer science

Uses Software

• FOCI

Cites Work

• Craig interpolation for networks of sentences
• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• Interpolants, cut elimination and flow graphs for the propositional calculus
• Failure of interpolation in relevant logics
• An interpolation theorem in the predicate calculus
• Harmonious logic: Craig's interpolation theorem and its descendants
• Interpolation in non-classical logics
• Some failures of interpolation in modal logic
• Sentential logics and Maehara interpolation property
• Repairing the interpolation theorem in quantified modal logic
• A survey of abstract algebraic logic
• An institution-independent proof of Craig interpolation theorem
• Preservation of Craig interpolation by the product of matrix logics
• An interpolating theorem prover
• Interpolation in practical formal development
• Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
• On Interpolation in Decision Procedures
• Craig interpolation for semilinear substructural logics
• Interpolation via translations
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
• Properties of independently axiomatizable bimodal logics
• Model Theory
• On meet-combination of logics
• Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
• Preservation of Interpolation Features by Fibring
• Interpolant-Based Transition Relation Approximation
• Approximate reasoning about logic circuits with single-fan-out unreliable gates
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item