Craig interpolation theorem for classical propositional logic with some probability operators

zbMATH Open1265.03033MaRDI QIDQ2913984FDOQ2913984

Authors: Nebojša Ikodinović 

Publication date: 21 September 2012

Published in: Publications de l'Institut Mathématique. Nouvelle Série (Search for Journal in Brave)

File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

Recommendations

• The Craig interpolation theorem for propositional logics with strong negation
• Craig interpolation property for operational logics of proofs
• scientific article; zbMATH DE number 1499108
• Interpolational Craig property in logics of proofs with strong provability operator
• scientific article; zbMATH DE number 3937157
• scientific article; zbMATH DE number 4047686
• A non-classical refinement of the interpolation property for classical propositional logic
• scientific article; zbMATH DE number 859796
• scientific article; zbMATH DE number 3841821
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)

Cited In (4)

• Craig interpolation in the presence of unreliable connectives
• The Craig interpolation theorem for propositional logics with strong negation
• Sequent calculus for classical logic probabilized
• A probabilistic interpolation theorem

This page was built for publication: Craig interpolation theorem for classical propositional logic with some probability operators

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