Recognizable and perceptible logics and varieties
From MaRDI portal
(Redirected from Publication:683376)
Cites work
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- Admissibility of logical inference rules
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- Decidability of the weak interpolation property over the minimal logic
- Five critical modal systems
- Interpolation in weakly transitive modal logics
- Pretabular extensions of Lewis S4
- Recognizable logics
- Restricted interpolation over modal logic S4
- Strong decidability and strong recognizability
- Strongly decidable properties of modal and intuitionistic calculi
- The projective Beth property in well-composed logics
- The tabularity problem over the minimal logic
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\)
Cited in
(3)
This page was built for publication: Recognizable and perceptible logics and varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q683376)