×

On some compatible operations on Heyting algebras. (English) Zbl 1253.03094

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.

MSC:

03G25 Other algebras related to logic
03B20 Subsystems of classical logic (including intuitionistic logic)
06D20 Heyting algebras (lattice-theoretic aspects)
06D50 Lattices and duality
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974.
[2] Belnap N.: ’Tonk, Plonk and Plink’. Analysis 22, 130–134 (1962) · doi:10.1093/analys/22.6.130
[3] Caicedo X., Cignoli R.: ’An algebraic approach to intuitionistic connectives’. Journal of Symbolic Logic 66, 1620–1636 (2001) · Zbl 0994.03024 · doi:10.2307/2694965
[4] Castiglioni J.L., Sagastume M., San Martín H.J.: ’Frontal Heyting algebras’. Reports on Mathematical Logic 45, 201–224 (2010) · Zbl 1228.06003
[5] Castiglioni J.L., San Martín H.J.: ’On the variety of Heyting algebras with successor generated by finite chains’. Reports on Mathematical Logic 45, 225–248 (2010) · Zbl 1228.06004
[6] Ertola Biraben R.C.: ’On some operations using the min operator’. in Studies in Logic 21, 353–368 (2009) College Publications, London · Zbl 1227.03084
[7] Esakia L.: ’The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic’. Journal of Applied Non-Classical Logics 16, 349–366 (2006) · Zbl 1186.03043 · doi:10.3166/jancl.16.349-366
[8] Esakia L.: ’Topological Kripke models’. Soviet Math. Dokl. 15, 147–151 (1974) · Zbl 0296.02030
[9] Esakia L., ’On the theory of modal and superintuitionistic systems’. In Logical Inference, Nauka, Moscow, 1979, pp. 147–172.
[10] Esakia L., ’Heyting Algebras I. Duality Theory’ (Russian). Metsniereba, Tbilisi, 1985. · Zbl 0601.06009
[11] Gabbay D.: ’On some new intuitionistic connectives, I’. Studia Logica 33, 127–139 (1977) · Zbl 0363.02026 · doi:10.1007/BF02121119
[12] Grätzer G.: ’On boolean functions (Notes on lattice theory II)’. Revue Roumaine de Mathmatiques Pures et Apliquees 7, 693–697 (1962) · Zbl 0134.25801
[13] Kaarly, K., and A. Pixley, Polynomial completeness in algebraic systems, Chapman and Hall, 2000.
[14] Kuznetsov A.: ’On the propositional calculus of intuitionistic provability’. Soviet Math. Dokl. 32, 18–21 (1985) · Zbl 0605.03006
[15] Pixley A.: ’Completeness in arithmetical algebras’. Algebra Universalis 2, 179–196 (1972) · Zbl 0254.08010 · doi:10.1007/BF02945027
[16] Smetanich Y.: ’On the Completeness of a Propositional Calculus with a Supplementary Operation in one Variable’. Tr. Mosk. Mat. Obsch. 9, 357–371 (1960)
[17] Yashin A.: ’The Smetanich logic T {\(\Phi\)} and two definitions of a new intuitionistic connective’. Mathematical Notes 56, 745–750 (1994) · Zbl 0837.03006 · doi:10.1007/BF02110566
[18] Yashin A.: ’New solutions to Novikov’s problem for intuitionistic connectives’. J. Logic Computat. 8, 637–664 (1998) · Zbl 0914.03007 · doi:10.1093/logcom/8.5.637
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.