Revision #816 → #1289 · back to history
addedHeyting algebra (informal)d45c62021294
addedHeyting algebras are distributive latticesa0759039b3e4
addedBoolean algebra as Heyting algebra5b9199742e40
addedNon-contradiction and double negation in Heyting algebras4157934ff190
addedBoolean algebras as Heyting algebras with excluded middle0f7600d65aae
addedOpen sets form a complete Heyting algebrae47d736d5af2
addedSubdirectly irreducible Heyting algebras5df419f15561
addedHeyting algebra (formal)4d6e71dae665
addedPseudo-complement40b4283e5e20
addedComplete Heyting algebra76e14f20ce2d
addedSubalgebra of a Heyting algebra8ced075c62d3
addedHeyting algebra (category-theoretic)7873eed63aa1
addedHeyting implication as exponentialbab5aba47893
addedHeyting algebra via Galois connection15981b551c41
addedHeyting algebra as residuated latticedc3f2f3797e9
addedEquational characterization with implication82aeefd1dd36
addedCharacterization via intuitionistic logic axioms1f050823369e
addedBoolean algebra as Heyting algebra7f953385ea59
addedTotally ordered set as Heyting algebra27278006d776
addedThree-element Heyting algebra {0,1/2,1}6b86b9e6ceaa
addedTopology yields complete Heyting algebracbab6a0ca254
addedInterior algebra yields Heyting algebra095f4d7a75d2
addedLindenbaum algebra of intuitionistic logicc621433a7287
addedSubobject classifier of an elementary topos49c6c536d28b
addedŁukasiewicz–Moisil algebras03d832355dcc
addedOrder recovered from implication8d2b7af70969
addedFixed point of negation implies trivialece5d175121b
addedProvability equivalent to identity = 1a2b84acc539a
addedDeduction theorem for Heyting algebras253e493cb6a2
addedDistributivity of Heyting algebras33bfa34e4e73
addedInfinite distributive law6abbb0c0f170
addedRegular element2fc0f3fc97ff
addedComplemented elements485f6b59c3a1
addedComplemented implies regularc1a045c24fe3
addedCharacterization of Boolean Heyting algebrasdddfcc64d7c3
addedRegular and complemented elements form Boolean algebras5836364504c9
addedOne De Morgan law in Heyting algebras497e38429ebf
addedWeak De Morgan lawa1847535447c
addedEquivalent conditions for both De Morgan laws2cab7b07a13f
addedMorphism of Heyting algebras1727152be67c
addedMorphisms are increasingf344128f4c95
addedSurjective image is Heyting algebra4fe8761a9a6e
addedHeyting algebras form a category4c4ab9ed444b
addedInclusion as morphismd8543b5ed54d
addedDouble negation morphismaff22316c12e
addedFilter on a Heyting algebrab9ab83b1e959
addedFilter generated by a subset30fdf63d7422
addedQuotient Heyting algebra construction7797e284002b
addedKernel of a Heyting algebra morphism5045c987c122
addedHeyting algebra of formulas in n variables1c940378bcda
addedFree Heyting algebra on generatorsda427cd60b0e
addedHeyting algebra H_T relative to a theory745e1d62dbca
addedEvery Heyting algebra is isomorphic to some H_Tc014984d30a7
addedLindenbaum algebra as H_T extension5624f6de9d7c
addedSoundness of intuitionistic logic in Heyting algebrascf4fa8b9a81c
addedPeirce's law fails in three-element algebraafd46798cdd8
addedCompleteness of intuitionistic logica8eb0c2d321e
addedDecidability of equational theory (Kripke)12f4b7b340a6
addedPSPACE-completeness (Statman)6547c13161b4
addedFirst-order theory is undecidable100c6fecbd5b
addedHeyting algebras are not locally finitecbbcf0425a43
addedTopological representation of Heyting algebras2931bcaa7733
addedDuality with Heyting spaces9ab764757aaf
addedEsakia duality5782af913496