Pretabular superintuitionistic logic

From MaRDI portal
Publication:2265416

DOI10.1007/BF02330744zbMath0275.02027MaRDI QIDQ2265416

Larisa L. Maksimova

Publication date: 1974

Published in: Algebra and Logic (Search for Journal in Brave)




Related Items (28)

Layers over minimal logicProfinite completions and canonical extensions of Heyting algebrasFinitary unification in locally tabular modal logics characterizedEpimorphisms in varieties of residuated structuresRecognizable logicsOn Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, PreviewA pretabular classical relevance logicA second pretabular classical relevance logicNatural extensions and profinite completions of algebrasIrreflexive modality as a new logical connective in the Dummett logicProfiniteness and representability of spectra of Heyting algebrasLC and Its Pretabular RelativesA “Reply” to My “Critics”A semantic hierarchy for intuitionistic logicA new constant in superintuitionistic logic L3Two pretabular linear extensions of relevance logic RThe structure of slices over minimal logicThe tabularity problem over the minimal logicGeneralized Kripke semantics for Nelson's logicNew constants in two pretabular superintuitionistic logicsUndecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculiThe interpolation problem in finite-layered pre-Heyting logicsThe admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completenessIrreflexive modality, the Dummett logic, and continual chainsDummett Logic, Irreflexive Modality and Novikov CompletenessAutomatic checking properties of non-classical logicsConstructive classifications of modal logics and extensions of minimal logic



Cites Work


This page was built for publication: Pretabular superintuitionistic logic