Besonderhede van voorbeeld: -31926614355933676

Metadata

Author: WikiMatrix

Data

English^[en]

The Lindenbaum algebra of propositional intuitionistic logic is a Heyting algebra.

Spanish^[es]

El álgebra de Lindenbaum de la lógica intuicionista proposicional es un álgebra de Heyting.

History

Your action: