Number of prelocally table superintuitionistic propositional logics (Q1069926)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Number of prelocally table superintuitionistic propositional logics |
scientific article |
Statements
Number of prelocally table superintuitionistic propositional logics (English)
0 references
1984
0 references
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.
0 references
pseudo-Boolean algebra
0 references
variety
0 references
superintuitionistic logics
0 references