Pretabular superintuitionistic logic
From MaRDI portal
Publication:2265416
DOI10.1007/BF02330744zbMath0275.02027MaRDI QIDQ2265416
Publication date: 1974
Published in: Algebra and Logic (Search for Journal in Brave)
Related Items
Layers over minimal logic ⋮ Profinite completions and canonical extensions of Heyting algebras ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Epimorphisms in varieties of residuated structures ⋮ Recognizable logics ⋮ On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview ⋮ A pretabular classical relevance logic ⋮ A second pretabular classical relevance logic ⋮ Natural extensions and profinite completions of algebras ⋮ Irreflexive modality as a new logical connective in the Dummett logic ⋮ Profiniteness and representability of spectra of Heyting algebras ⋮ LC and Its Pretabular Relatives ⋮ A “Reply” to My “Critics” ⋮ A semantic hierarchy for intuitionistic logic ⋮ A new constant in superintuitionistic logic L3 ⋮ Two pretabular linear extensions of relevance logic R ⋮ The structure of slices over minimal logic ⋮ The tabularity problem over the minimal logic ⋮ Generalized Kripke semantics for Nelson's logic ⋮ New constants in two pretabular superintuitionistic logics ⋮ Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi ⋮ The interpolation problem in finite-layered pre-Heyting logics ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness ⋮ Irreflexive modality, the Dummett logic, and continual chains ⋮ Dummett Logic, Irreflexive Modality and Novikov Completeness ⋮ Automatic checking properties of non-classical logics ⋮ Constructive classifications of modal logics and extensions of minimal logic
Cites Work
