Pages that link to "Item:Q2265416"
From MaRDI portal
The following pages link to Pretabular superintuitionistic logic (Q2265416):
Displayed 28 items.
- Irreflexive modality as a new logical connective in the Dummett logic (Q467677) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- The structure of slices over minimal logic (Q511341) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- Generalized Kripke semantics for Nelson's logic (Q694210) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- Irreflexive modality, the Dummett logic, and continual chains (Q721381) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Profinite completions and canonical extensions of Heyting algebras (Q862977) (← links)
- Recognizable logics (Q887647) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- A pretabular classical relevance logic (Q1935566) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
- Irreflexive modality on a chain of type \(\omega\) and P. S. Novikov completeness (Q2026740) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Finitary unification in locally tabular modal logics characterized (Q2667999) (← links)
- LC and Its Pretabular Relatives (Q3305421) (← links)
- A “Reply” to My “Critics” (Q3305436) (← links)
- Automatic checking properties of non-classical logics (Q3647252) (← links)
- Two pretabular linear extensions of relevance logic R (Q5156188) (← links)
- Dummett Logic, Irreflexive Modality and Novikov Completeness (Q5214742) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)