• Dom
  • Boolean algebra

Boolean algebra

lattice that models the classical propositional logic

en-US/ˈbuˌliɑn ˈæld͡ʒəbɹə/
en-GB/buːliːn ˈæld͡ʒɪbɹə/

Kategorie:

Heyting algebradistributive latticecommutative ring