Interpolation and three-valued logics
From MaRDI portal
Publication:5488263
Recommendations
- A non-classical refinement of the interpolation property for classical propositional logic
- Interpolation in non-classical logics
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation in fuzzy logic
- Interpolation theorem in many-valued logics with designated values
Cited in
(5)- scientific article; zbMATH DE number 3890618 (Why is no real title available?)
- Interpolation theorem in many-valued logics with designated values
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Interpolation methods for Dunn logics and their extensions
- A non-classical refinement of the interpolation property for classical propositional logic
This page was built for publication: Interpolation and three-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5488263)
