On some compatible operations on Heyting algebras
type: Item
instance of: scholarly article
title: On some compatible operations on Heyting algebras
zbMATH Open document ID: 1253.03094
published in: Studia Logica
publication date: 2012-03-09T00:00:00Z
review text: The authors study certain operations on Heyting algebras that correspond to new connectives in intuitionistic logic. In this sense, the authors are interested in examining the operations that may be defined using the minimum operator. This motivation comes from the fact that already known compatible operations, such as the successor by Kuznetsov, the minimum dense by Smetanich and the operation \(G\) by Gabbay, may be defined in this way, though almost never explicitly noted in the literature, and that defining operations in this way is equivalent, from a logical point of view, to two clauses, one corresponding to an introduction rule and the other to an elimination rule, thus providing a manageable way to deal with these operations. One aim of this paper is to show that any operation defined by means of certain minimization scheme may be defined using the successor. A second aim is to extend Priestly duality between bounded distributive lattices and topological spaces to Heyting algebras with new operations.
reviewed by: Florentina Chirteş
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 06D20
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 6013485
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: Heyting algebra
zbMATH Keywords: compatible operation
author: Rodolfo C. Ertola-Biraben
author: Hernán J. San Martín
MaRDI profile type: Publication
full work available at URL: s11225-011-9338-y
OpenAlex ID: W1995539525
cites work: An algebraic approach to intuitionistic connectives
cites work: Q3086535
cites work: Q3086536
cites work: Q3086713
cites work: The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★
cites work: Q4049062
cites work: Q3735758
cites work: On some new intuitionistic propositional connectives. I
cites work: Q5345028
cites work: Q3743301
cites work: Completeness in arithmetical algebras
cites work: The Smetanich logic \(T^ \Phi\) and two definitions of a new intuitionistic connective
cites work: New solutions to Novikov's problem for intuitionistic connectives
DOI: 10.1007/S11225-011-9338-Y
description: scientific article; zbMATH DE number 6013485