Number of prelocally table superintuitionistic propositional logics
type: Item
instance of: scholarly article
title: Number of prelocally table superintuitionistic propositional logics
zbMATH Open document ID: 0583.03016
DOI: 10.1007/BF01979699
author: S. I. Mardaev
published in: Algebra and Logic
publication date: 1984-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/187256
review text: 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.
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 3933039
zbMATH Keywords: pseudo-Boolean algebra
zbMATH Keywords: variety
zbMATH Keywords: superintuitionistic logics
MaRDI profile type: Publication
Recommended article: Finite axiomatizability of locally tabular superintuitionistic logics
Recommended article: Two sequences of locally tabular superintuitionistic logics
Recommended article: New constants in two pretabular superintuitionistic logics
Recommended article: Algebraic counterparts for some properties of superintuitionistic predicate logics
Recommended article: Properties of superintuitionistic propositional calculi
Recommended article: Q3684108
Recommended article: On Algebraisation of Superintuitionistic Predicate Logics
Recommended article: Q3768879
Recommended article: On the number of variables in undecidable superintuitionistic propositional calculi
Recommended article: Q3772270
description: scientific article; zbMATH DE number 3933039