The structure of slices over minimal logic

DOI10.1134/S003744661605013XzbMATH Open1420.03045MaRDI QIDQ511341FDOQ511341

Authors: L. L. Maksimova 

Publication date: 15 February 2017

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

Recommendations

• Slices and levels of extensions of the minimal logic
• Layers over minimal logic
• Strong computability of slices over the logic GL
• A study of intermediate propositional logics on the third slice
• Constructive classifications of modal logics and extensions of minimal logic

zbMATH Keywords

decidabilitysliceminimal logicKripke frame

Mathematics Subject Classification ID

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

Cites Work

• A propositional calculus with denumerable matrix
• Title not available (Why is that?)
• Algebras Whose Congruence Lattices are Distributive.
• Constructive negations and paraconsistency
• Title not available (Why is that?)
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Title not available (Why is that?)
• Pretabular superintuitionistic logic
• Recognizable logics
• Layers over minimal logic

Cited In (6)

• On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
• Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.
• Constructive classifications of modal logics and extensions of minimal logic
• A study of intermediate propositional logics on the third slice
• Strong computability of slices over the logic GL
• Slices and levels of extensions of the minimal logic

This page was built for publication: The structure of slices over minimal logic

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