Interpolation theorem in many-valued logics with designated values
From MaRDI portal
Publication:911578
DOI10.2996/kmj/1138039033zbMath0697.03009OpenAlexW1979832758MaRDI QIDQ911578
Publication date: 1989
Published in: Kodai Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/b4dd6194639dc06c6deb41532f6184fa61790d5a
Related Items
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