Publication:2364334

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A propositional calculus with denumerable matrix
• Topological representations of distributive lattices and Brouwerian logics
• Constructive negations and paraconsistency
• Finite equational bases for finite algebras in a congruence-distributive equational class
• 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
• Pretabular superintuitionistic logic
• Recognizable logics

Cited In (8)

• The interpolation problem in finite-layered pre-Heyting logics
• Craig's interpolation property in pretabular logics
• Constructive classifications of modal logics and extensions of minimal logic
• 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)