Interpolation theorem in many-valued logics with designated values

DOI10.2996/kmj/1138039033zbMath0697.03009OpenAlexW1979832758MaRDI QIDQ911578

Mitio Takano

Publication date: 1989

Published in: Kodai Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/b4dd6194639dc06c6deb41532f6184fa61790d5a

zbMATH Keywords

interpolationmany-valued logic

Mathematics Subject Classification ID

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

Related Items (3)

Interpolation methods for Dunn logics and their extensions ⋮ A note on freedom from detachment in the logic of paradox ⋮ Interpolation in 16-valued trilattice logics

Cites Work

• A constructive proof of Craig's interpolation lemma for m-valued logic
• An interpolation theorem in many-valued logic
• Sequents in many valued logic I
• The Craig-Lyndon interpolation theorem in 3-valued logic
• Proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation theorem in many-valued logics with designated values