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
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Questionario e social

Condividi su:
Impostazioni cookie