Metadata
Author: WikiMatrix
Data
English[en]
Also note that Heyting algebras can be viewed as Lindenbaum algebras of intuitionistic logic, which makes them a special case of the first example.
Spanish[es]
Las álgebras de Heyting pueden verse como Álgebras de Lindenbaum de lógica intuicionista, lo que lo convierte en un caso particular del ejemplo anterior.