Heyting Algebras

By L. Esakia. Trends in Logic, 2019

81 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/8795adb63da19478a5f31bf850aeb0a63ae94c17