Locally finite reducts of Heyting algebras and canonical formulas
type: Item
instance of: scholarly article
title: Locally finite reducts of Heyting algebras and canonical formulas
zbMATH Open document ID: 1417.03198
DOI: 10.1215/00294527-3691563
author: Guram Bezhanishvili
author: Nick Bezhanishvili
published in: Notre Dame Journal of Formal Logic
publication date: 2017-02-17T00:00:00Z
full work available at URL: https://dspace.library.uu.nl/handle/1874/273468
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 06D20
zbMATH DE Number: 6686416
zbMATH Keywords: superintuitionistic logic
zbMATH Keywords: axiomatization
zbMATH Keywords: filtration
zbMATH Keywords: finite model property
zbMATH Keywords: Heyting algebra
zbMATH Keywords: duality theory
MaRDI profile type: Publication
OpenAlex ID: W2549454486
description: scientific article; zbMATH DE number 6686416