Heyting $$\kappa $$-Frames

Freytes, Hector;Sergioli, Giuseppe
2023-01-01

Abstract

In the framework of algebras with infinitary operations, the equational theory of  κ-complete Heyting algebras or Heyting κ-frames is studied. A Hilbert style calculus algebraizable in this class is formulated. Based on the infinitary structure of Heyting κ-frames, an equational type completeness theorem related to the   , ∧,→, 0 -structure of frames is also obtained.
2023
Inglese
STUDIA LOGICA
2-s2.0-85173781778
Esperti anonimi
internazionale
scientifica
 κ-complete Heyting algebras, Frames, Infinitary operations.
sì
Freytes, Hector; Sergioli, Giuseppe
1.1 Articolo in rivista
info:eu-repo/semantics/article
1 Contributo su Rivista::1.1 Articolo in rivista
262
2
none
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Questionnaire and social

Share on:
Impostazioni cookie