Slices and levels of extensions of the minimal logic

DOI10.1134/S0037446617060131zbMath1420.03047OpenAlexW2790472128MaRDI QIDQ1745087

Veta Fedorovna Yun, Larisa L. Maksimova

Publication date: 20 April 2018

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

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

zbMATH Keywords

decidabilitysliceKripke frameminimal logiclevelrecognizable logic

Mathematics Subject Classification ID

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

Related Items (2)

Strong computability of slices over the logic GL ⋮ Constructive classifications of modal logics and extensions of minimal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The structure of slices over minimal logic
• Recognizable logics
• Constructive negations and paraconsistency
• Strong decidability and strong recognizability
• The decidability of Craig's interpolation property in well-composed J-logics
• Layers over minimal logic
• A propositional calculus with denumerable matrix
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Strongly decidable properties of modal and intuitionistic calculi
• Logic of classical refutability and class of extensions of minimal logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Topological representations of distributive lattices and Brouwerian logics

This page was built for publication: Slices and levels of extensions of the minimal logic