Skip to content

xu-hao/semibounded-lattices

Repository files navigation

semibounded-lattices

A Haskell implementation of semibounded lattices

Terminologies coming from

Lower bounded lattice Upper bounded lattice:

Stanislaw Zukowski. Introduction to Lattice Theory, Formalized Mathematics 1(1), pages 215-222, 1990.

co-Heyting Algebra:

https://ncatlab.org/nlab/show/co-Heyting+algebra

About

A Haskell implementation of semibounded lattices

Resources

License

Stars

Watchers

Forks

Packages

No packages published