Strong computability of slices over the logic GL

DOI10.17377/SEMI.2018.15.005MaRDI QIDQ1707569zbMATH OpenOpenAlexFDO

Authors L. L. Maksimova, Veta Fedorovna Yun

Publication date 3 April 2018

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

Full work available at URL https://research.nsu.ru/en/publications/%D1%81%D0%B8%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F-%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B8%D0%BC%D0%BE%D1%81%D1%82%D1%8C-%D1%81%D0%BB%D0%BE%D0%B5%D0%B2-%D0%BD%D0%B0%D0%B4-%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%BE%D0%B9-gl

zbMATH Keywords

decidabilityminimal logicslicesKripke framerecognizable logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Decidability of theories and sets of sentences (03B25)

Recommendations

• Slices and levels of extensions of the minimal logic
• The structure of slices over minimal logic
• Strong decidability and strong recognizability
• Undecidable properties of extensions of provability logic. II
• Strongly decidable properties of modal and intuitionistic calculi

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3417441 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Constructive negations and paraconsistency
• Interpolation and definability over the logic Gl
• Layers over minimal logic
• Recognizable logics
• Slices and levels of extensions of the minimal logic
• Strong decidability and strong recognizability
• Strongly decidable properties of modal and intuitionistic calculi
• The structure of slices over minimal logic

Cited in

(5)

• Strong decidability and strong recognizability
• Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.
• Constructive classifications of modal logics and extensions of minimal logic
• The structure of slices over minimal logic
• Slices and levels of extensions of the minimal logic

This page was built for publication: Strong computability of slices over the logic GL

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