Extensions of the minimal logic and the interpolation problem
From MaRDI portal
Publication:1617985
DOI10.1134/S0037446618040109zbMATH Open1469.03078MaRDI QIDQ1617985FDOQ1617985
Authors: L. L. Maksimova, Veta Fedorovna Yun 
Publication date: 13 November 2018
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
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
Paraconsistent logics (03B53) Intermediate logics (03B55) Interpolation, preservation, definability (03C40)
Cites Work
- Title not available (Why is that?)
- Algebras Whose Congruence Lattices are Distributive.
- Title not available (Why is that?)
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Constructive negations and paraconsistency
- Intuitionistic logic and implicit definability
- The decidability of Craig's interpolation property in well-composed J-logics
- Title not available (Why is that?)
- Interpolation and Definability in Extensions of the Minimal Logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- The projective Beth property in well-composed logics
- Title not available (Why is that?)
- Logic of classical refutability and class of extensions of minimal logic
- Title not available (Why is that?)
- Joint consistency in extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Interpolation and the projective Beth property in well-composed logics
- Decidability of the weak interpolation property over the minimal logic
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interpolation over the minimal logic and Odintsov intervals
- Recognizable logics
- Negative equivalence over the minimal logic and interpolation
- Problem of restricted interpolation in superintuitionistic and some modal logics
- WIP-minimal logics and interpolation
- Recognizability of all WIP-minimal logics
Cited In (21)
- Joint consistency in extensions of the minimal logic
- Interpolation and definability over the logic Gl
- Interpolation for extended modal languages
- WIP-minimal logics and interpolation
- Recognizability of all WIP-minimal logics
- The interpolation problem in finite-layered pre-Heyting logics
- On interpolation problem in paraconsistent extensions of the minimal logic
- Perceptibility in pre-Heyting logics
- Extensions of proof-intuitionistic logic without interpolation property
- Extension and equivalence problems for clause minimal formulae
- On deductive interpolation for the weak nilpotent minimum logic
- Weak interpolation in extensions of minimal logic
- Interpolation and Definability in Extensions of the Minimal Logic
- A method of proving interpolation in paraconsistent extensions of the minimal logic
- Recognizability in pre-Heyting and well-composed logics
- Constructive classifications of modal logics and extensions of minimal logic
- Interpolation over the minimal logic and Odintsov intervals
- Minimal systems
- Negative equivalence over the minimal logic and interpolation
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
