Layers over minimal logic

DOI10.1007/S10469-016-9399-0zbMATH Open1396.03067OpenAlexW2550498662MaRDI QIDQ2364334FDOQ2364334

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

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

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)

Cites Work

• A propositional calculus with denumerable matrix
• Topological representations of distributive lattices and Brouwerian logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive negations and paraconsistency
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Title not available (Why is that?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Logic of classical refutability and class of extensions of minimal logic
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Title not available (Why is that?)
• Pretabular superintuitionistic logic
• Recognizable 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
• Title not available (Why is that?)
• The structure of slices over minimal logic
• Pretabularity and Craig's interpolation problem over the minimal logic
• The tabularity 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)