Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
type: Item
instance of: scholarly article
title: Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
zbMATH Open document ID: 0588.08009
DOI: 10.1007/BF00403339
author: W. Dziobiak
published in: Studia Logica
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06E05
Mathematics Subject Classification ID: 03G05
zbMATH DE Number: 3943896
zbMATH Keywords: finite algebras
zbMATH Keywords: quasivarieties
zbMATH Keywords: finitely axiomatizable
zbMATH Keywords: Heyting algebras
zbMATH Keywords: topological Boolean algebras
MaRDI profile type: Publication
cites work: Finite equational bases for finite algebras in a congruence-distributive equational class
cites work: Q4128788
cites work: A Note on the Implicational Class Generated by a Class of Structures
cites work: Q5509710
cites work: Q5734410
cites work: 2-element matrices
cites work: Q5518356
cites work: Matrix approach in methodology of sentential calculi
full work available at URL: https://doi.org/10.1007/bf00403339
OpenAlex ID: W161795538
description: scientific article; zbMATH DE number 3943896