scientific article; zbMATH DE number 3841821

MaRDI QIDQ3312201zbMATHFDO

Authors Gradimir Vojvodić

Publication date 1980

zbMATH Keywords

Craig interpolation theoremMixed-valued predicate calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

Recommendations

• An interpolation theorem in many-valued logic
• Interpolation theorems for intuitionistic predicate logic
• Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
• The Craig interpolation theorem for propositional logics with strong negation
• Der Interpolationssatz der intuitionistischen Prädikatenlogik

Cited in

(4)

• An interpolation theorem in many-valued logic
• Craig interpolation theorem for classical propositional logic with some probability operators
• The Craig interpolation theorem for propositional logics with strong negation
• Interpolation theorem of Hao Wang's partial predicate calculus

This page was built for publication:

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