Cites work
- A propositional calculus with denumerable matrix
- Algebraic Completeness Results for Dummett's LC and Its Extensions
- scientific article; zbMATH DE number 3300568 (Why is no real title available?)
- scientific article; zbMATH DE number 3342820 (Why is no real title available?)
- Some results for implicational calculi
Cited in
(34)- A second pretabular classical relevance logic
- A semantic hierarchy for intuitionistic logic
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- A pretabular classical relevance logic
- The interpolation problem in finite-layered pre-Heyting logics
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness
- Profiniteness and representability of spectra of Heyting algebras
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi
- Layers over minimal logic
- Epimorphisms in varieties of residuated structures
- Finitary unification in locally tabular modal logics characterized
- LC and its pretabular relatives
- A ``reply to my ``critics
- Automatic checking properties of non-classical logics
- Irreflexive modality as a new logical connective in the Dummett logic
- A new constant in superintuitionistic logic L3
- The structure of slices over minimal logic
- The tabularity problem over the minimal logic
- Two pretabular linear extensions of relevance logic R
- Dummett logic, irreflexive modality and Novikov completeness
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview
- Natural extensions and profinite completions of algebras
- Pretabularity and Craig's interpolation property
- Unification types and union splittings in intermediate logics
- On pretabular extensions of relevance logic
- A Gödel-Dugundji-style theorem for the minimal structural logic
- Generalized Kripke semantics for Nelson's logic
- New constants in two pretabular superintuitionistic logics
- Tabular and pretabular varieties of MTL-algebras
- Irreflexive modality, the Dummett logic, and continual chains
- Pretabular tense logics over \(\mathsf{S4}_t\)
- Constructive classifications of modal logics and extensions of minimal logic
- Profinite completions and canonical extensions of Heyting algebras
- Recognizable logics
This page was built for publication: Pretabular superintuitionistic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2265416)
