Craig interpolation in the presence of unreliable connectives

DOI10.1007/S11787-014-0101-9MaRDI QIDQ2254572zbMATH OpenOpenAlexFDO

Authors João Rasga, Cristina Sernadas, Amílcar 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

arrow and turnstile interpolationsprobabilistic logicunreliable connectives

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other nonclassical logic (03B60) Logic in computer science (03B70) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Craig interpolation theorem for classical propositional logic with some probability operators
• A probabilistic interpolation theorem
• Interpolation in non-classical logics
• Craig interpolation in displayable logics
• scientific article; zbMATH DE number 1931663

Cites work

• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
• A survey of abstract algebraic logic
• An institution-independent proof of Craig interpolation theorem
• An interpolating theorem prover
• An interpolation theorem in the predicate calculus
• Approximate reasoning about logic circuits with single-fan-out unreliable gates
• Craig interpolation for networks of sentences
• Craig interpolation for semilinear substructural logics
• Encoding techniques, Craig interpolants and bounded model checking for incomplete designs
• Failure of interpolation in relevant logics
• Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability
• Harmonious logic: Craig's interpolation theorem and its descendants
• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1735871 (Why is no real title available?)
• scientific article; zbMATH DE number 910750 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• scientific article; zbMATH DE number 3085803 (Why is no real title available?)
• Interpolant-Based Transition Relation Approximation
• Interpolants, cut elimination and flow graphs for the propositional calculus
• Interpolation in non-classical logics
• Interpolation in practical formal development
• Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
• Interpolation via translations
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Model Theory
• On interpolation in decision procedures
• On meet-combination of logics
• On the Craig interpolation and the fixed point properties for GLP
• Preservation of Craig interpolation by the product of matrix logics
• Preservation of Interpolation Features by Fibring
• Properties of independently axiomatizable bimodal logics
• Repairing the interpolation theorem in quantified modal logic
• Sentential logics and Maehara interpolation property
• Some failures of interpolation in modal logic
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

Cited in

(1)

• A probabilistic interpolation theorem

Describes a project that uses

Uses Software

• FOCI

This page was built for publication: Craig interpolation in the presence of unreliable connectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254572)