WIP-minimal logics and interpolation

DOI10.17377/SEMI.2015.12.002MaRDI QIDQ2630547zbMATH OpenFDO

Authors Veta Fedorovna Yun, L. L. Maksimova

Publication date 28 July 2016

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

Full work available at URL https://doi.org/10.17377/SEMI.2015.12.002

zbMATH Keywords

interpolationminimal logicWIP-minimal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Recommendations

• Extensions of the minimal logic and the interpolation problem
• Weak interpolation in extensions of minimal logic
• Interpolation and Definability in Extensions of the Minimal Logic
• scientific article; zbMATH DE number 6302918
• On deductive interpolation for the weak nilpotent minimum logic
• Decidability of the weak interpolation property over the minimal logic
• On interpolation problem in paraconsistent extensions of the minimal logic
• A Minimal Hybrid Logic for Intervals
• scientific article; zbMATH DE number 2019879
• A method of proving interpolation in paraconsistent extensions of the minimal logic

Cited in

(12)

• Extensions of the minimal logic and the interpolation problem
• Recognizability of all WIP-minimal logics
• Perceptibility in pre-Heyting logics
• Weak interpolation in extensions of minimal logic
• Interpolation and joint consistency
• Minimal systems
• On interpolation problem in paraconsistent extensions of the minimal logic
• Interpolation over the minimal logic and Odintsov intervals
• Joint consistency in extensions of the minimal logic
• Interpolation and definability over the logic Gl
• Interpolation in weakly transitive modal logics
• Constructive classifications of modal logics and extensions of minimal logic

This page was built for publication: WIP-minimal logics and interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630547)