Hybrid extensions of the minimal logic

DOI10.1134/S0037446621050104OpenAlexW3203620407MaRDI QIDQ820493

Veta Fedorovna Yun, Larisa L. Maksimova

Publication date: 27 September 2021

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s0037446621050104

zbMATH Keywords

decidabilityhybrid logicinterpolation propertiesminimal logicalgorithmic propertiesrecognizable logicJohansson's logicperceptible formula

Mathematics Subject Classification ID

General logic (03Bxx) Mathematical logic and foundations (03-XX) Model theory (03Cxx)

Cites Work

• 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
• Recognizable logics
• Constructive negations and paraconsistency
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Intuitionistic logic and implicit definability
• Strong decidability and strong recognizability
• Perceptibility in pre-Heyting logics
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hybrid extensions of the minimal logic