Craig interpolation theorem for classical propositional logic with some probability operators

MaRDI QIDQ2913984zbMATH OpenFDO

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)

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

Mathematics Subject Classification ID

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

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

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)