Slices and levels of extensions of the minimal logic

DOI10.1134/S0037446617060131MaRDI QIDQ1745087zbMATH OpenOpenAlexFDO

Authors L. L. Maksimova, Veta Fedorovna Yun

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

decidabilityKripke framelevelminimal logicrecognizable logicslice

Mathematics Subject Classification ID

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

Recommendations

• The structure of slices over minimal logic
• Layers over minimal logic
• Strong computability of slices over the logic GL
• Strong decidability and strong recognizability
• The tabularity problem over the minimal logic

Cites work

• A method of proving interpolation in paraconsistent extensions of the minimal logic
• A propositional calculus with denumerable matrix
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Constructive negations and paraconsistency
• 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 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3024119 (Why is no real title available?)
• Layers over minimal logic
• Logic of classical refutability and class of extensions of minimal logic
• Recognizable logics
• Strong decidability and strong recognizability
• Strongly decidable properties of modal and intuitionistic calculi
• The decidability of Craig's interpolation property in well-composed J-logics
• The structure of slices over minimal logic
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(7)

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

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

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