Number of prelocally table superintuitionistic propositional logics (Q1069926)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Number of prelocally table superintuitionistic propositional logics |
scientific article; zbMATH DE number 3933039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Number of prelocally table superintuitionistic propositional logics |
scientific article; zbMATH DE number 3933039 |
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
0 references
0.8937454
0 references
0.87259054
0 references
0.8725741
0 references
0.8694653
0 references
0.8628567
0 references
0.8602415
0 references
