Extensions of the minimal logic and the interpolation problem
From MaRDI portal
Recommendations
- Interpolation and Definability in Extensions of the Minimal Logic
- On interpolation problem in paraconsistent extensions of the minimal logic
- Weak interpolation in extensions of minimal logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- scientific article; zbMATH DE number 2019879
- scientific article; zbMATH DE number 6302918
- Interpolation and implicit definability in extensions of the provability logic
- Interpolation over the minimal logic and Odintsov intervals
- On Interpolation in Existence Logics
- Interpolation in extensions of first-order logic
Cites work
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- Algebras Whose Congruence Lattices are Distributive.
- Constructive negations and paraconsistency
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Decidability of the weak interpolation property over the minimal logic
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 3659563 (Why is no real title available?)
- scientific article; zbMATH DE number 3609636 (Why is no real title available?)
- scientific article; zbMATH DE number 1975401 (Why is no real title available?)
- scientific article; zbMATH DE number 2047484 (Why is no real title available?)
- scientific article; zbMATH DE number 2196596 (Why is no real title available?)
- scientific article; zbMATH DE number 3419181 (Why is no real title available?)
- Interpolation and Definability in Extensions of the Minimal Logic
- Interpolation and definability over the logic Gl
- Interpolation and the projective Beth property in well-composed logics
- Interpolation over the minimal logic and Odintsov intervals
- Intuitionistic logic and implicit definability
- Joint consistency in extensions of the minimal logic
- Logic of classical refutability and class of extensions of minimal logic
- Negative equivalence over the minimal logic and interpolation
- Problem of restricted interpolation in superintuitionistic and some modal logics
- Recognizability of all WIP-minimal logics
- Recognizable logics
- The decidability of Craig's interpolation property in well-composed J-logics
- The projective Beth property in well-composed logics
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- WIP-minimal logics and interpolation
Cited in
(22)- Recognizability of all WIP-minimal logics
- On deductive interpolation for the weak nilpotent minimum logic
- Extension and equivalence problems for clause minimal formulae
- Recognizability in pre-Heyting and well-composed logics
- The interpolation problem in finite-layered pre-Heyting logics
- Perceptibility in pre-Heyting logics
- WIP-minimal logics and interpolation
- Weak interpolation in extensions of minimal logic
- Minimal systems
- Interpolation for extended modal languages
- Interpolation and Definability in Extensions of the Minimal Logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- scientific article; zbMATH DE number 2019879 (Why is no real title available?)
- Extensions of proof-intuitionistic logic without interpolation property
- On interpolation problem in paraconsistent extensions of the minimal logic
- Interpolation over the minimal logic and Odintsov intervals
- scientific article; zbMATH DE number 6302918 (Why is no real title available?)
- Joint consistency in extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Constructive classifications of modal logics and extensions of minimal logic
- Hybrid extensions of the minimal logic
- Negative equivalence over the minimal logic and interpolation
This page was built for publication: Extensions of the minimal logic and the interpolation problem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1617985)
