scientific article; zbMATH DE number 3841821

zbMATH Open0531.03009MaRDI QIDQ3312201FDOQ3312201

Authors: Gradimir Vojvodić 

Publication date: 1980

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Craig interpolation theoremMixed-valued predicate calculi

Mathematics Subject Classification ID

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

Cited In (4)

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

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)