Recognizable logics

DOI10.1007/s10469-015-9336-7zbMath1347.03055OpenAlexW3187771499MaRDI QIDQ887647

Veta Fedorovna Yun, Larisa L. Maksimova

Publication date: 27 October 2015

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-015-9336-7

zbMATH Keywords

recognizabilityinterpolation propertyJohansson's minimal logiccharacteristic formulareliable recognizability

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53) Intermediate logics (03B55)

Related Items (max. 100)

Hybrid extensions of the minimal logic ⋮ Extensions of the minimal logic and the interpolation problem ⋮ Layers over minimal logic ⋮ Recognizability of all WIP-minimal logics ⋮ Craig's interpolation property in pretabular logics ⋮ Perceptibility in pre-Heyting logics ⋮ Strong decidability and strong recognizability ⋮ Strong computability of slices over the logic GL ⋮ LC and Its Pretabular Relatives ⋮ Interpolation over the minimal logic and Odintsov intervals ⋮ Slices and levels of extensions of the minimal logic ⋮ The structure of slices over minimal logic ⋮ The tabularity problem over the minimal logic ⋮ Recognizable and perceptible logics and varieties ⋮ Recognizability in pre-Heyting and well-composed logics ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ Constructive classifications of modal logics and extensions of minimal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The projective Beth property in well-composed logics
• Interpolation and the projective Beth property in well-composed logics
• Decidability of the weak interpolation property over the minimal logic
• Undecidable properties of extensions of provability logic. II
• Constructive negations and paraconsistency
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• The decidability of Craig's interpolation property in well-composed J-logics
• Pretabular superintuitionistic logic
• Restricted interpolation over modal logic S4
• Classification of extensions of the modal logic S4
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Problem of restricted interpolation in superintuitionistic and some modal logics
• A Remark on the Intersection of Tow Logics

This page was built for publication: Recognizable logics