An interpolation theorem in many-valued logic

DOI10.2307/2274068MaRDI QIDQ3028980zbMATH OpenOpenAlexFDO

Authors Masazumi Hanazawa, Mitio Takano

Publication date 1986

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274068

zbMATH Keywords

Craig's interpolationCraig- Lyndon interpolationmany-valued logicŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3841821
• Consequence and interpolation in Łukasiewicz logic
• The Craig interpolation theorem for propositional logics with strong negation
• scientific article; zbMATH DE number 859796
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation

Cited in

(9)

• Interpolation theorem of Hao Wang's partial predicate calculus
• scientific article; zbMATH DE number 3841821 (Why is no real title available?)
• Coinductive formulas and a many-sorted interpolation theorem
• scientific article; zbMATH DE number 1159721 (Why is no real title available?)
• Interpolation theorems for some variants of LTL
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 3271481 (Why is no real title available?)
• Consequence and interpolation in Łukasiewicz logic
• Interpolation theorem in many-valued logics with designated values

This page was built for publication: An interpolation theorem in many-valued logic

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