Layers over minimal logic

DOI10.1007/S10469-016-9399-0MaRDI QIDQ2364334zbMATH OpenOpenAlexFDO

Authors Veta Fedorovna Yun, L. L. Maksimova

Publication date 18 July 2017

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

Full work available at URL https://doi.org/10.1007/s10469-016-9399-0

zbMATH Keywords

decidabilityminimal logicKripke framerecognizable logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20) 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
• On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
• The lattice of extensions of the minimal logic
• Constructive classifications of modal logics and extensions of minimal logic

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3353345 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A propositional calculus with denumerable matrix
• Constructive negations and paraconsistency
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Logic of classical refutability and class of extensions of minimal logic
• Pretabular superintuitionistic logic
• Recognizable logics
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(11)

• On the degree of complexity of sentential logics. III. An example of Johansson's minimal logic
• The interpolation problem in finite-layered pre-Heyting logics
• The lattice of extensions of the minimal logic
• Craig's interpolation property in pretabular logics
• Constructive classifications of modal logics and extensions of minimal logic
• scientific article; zbMATH DE number 3863174 (Why is no real title available?)
• The structure of slices over minimal logic
• The tabularity problem over the minimal logic
• Pretabularity and Craig's interpolation problem over the minimal logic
• Strong computability of slices over the logic GL
• Slices and levels of extensions of the minimal logic

This page was built for publication: Layers over minimal logic

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