Number of prelocally table superintuitionistic propositional logics
From MaRDI portal
In Logic and the Foundations of Mathematics, Vilnius 1982, 97-99 (1982), \textit{A. I. Tsitkin} introduced the first example of a prelocally table superintuitionistic propositional logic. In this article we prove that there is a continuum of such logics.
Recommendations
- Finite axiomatizability of locally tabular superintuitionistic logics
- Two sequences of locally tabular superintuitionistic logics
- New constants in two pretabular superintuitionistic logics
- Algebraic counterparts for some properties of superintuitionistic predicate logics
- Properties of superintuitionistic propositional calculi
- scientific article; zbMATH DE number 3906478
- On algebraisation of superintuitionistic predicate logics
- scientific article; zbMATH DE number 4027437
- On the number of variables in undecidable superintuitionistic propositional calculi
- scientific article; zbMATH DE number 4031761
Cited in
(7)- Frame based formulas for intermediate logics
- Embeddings of implicative lattices and superintuitionistic logics
- Two sequences of locally tabular superintuitionistic logics
- Modal companions of intermediate propositional logics
- Codimension and pseudometric in co-Heyting algebras
- Finite axiomatizability of locally tabular superintuitionistic logics
- Tabular and pretabular varieties of MTL-algebras
This page was built for publication: Number of prelocally table superintuitionistic propositional logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1069926)
