An interpolation theorem in many-valued logic

DOI10.2307/2274068zbMath0626.03014OpenAlexW4248030506MaRDI QIDQ3028980

Mitio Takano, Masazumi Hanazawa

Publication date: 1986

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

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

zbMATH Keywords

many-valued logicŁukasiewicz logicCraig's interpolationCraig- Lyndon interpolation

Mathematics Subject Classification ID

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

Related Items

Interpolation theorem in many-valued logics with designated values

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