Heyting algebra (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Heyting algebra" in English language version.

refsWebsite

Global rank English rank

2^nd place

3,863^rd place

2,637^th place

3^rd place

11^th place

8^th place

102^nd place

76^th place

low place

books.google.com

A. G. Kusraev; Samson Semenovich Kutateladze (1999). Boolean valued analysis. Springer. p. 12. ISBN 978-0-7923-5921-0.
Thomas Scott Blyth (2005). Lattices and ordered algebraic structures. Springer. p. 151. ISBN 978-1-85233-905-0.

Georgescu, G. (2006). "N-Valued Logics and Łukasiewicz–Moisil Algebras". Axiomathes. 16 (1–2): 123–136. doi:10.1007/s10516-005-4145-6. S2CID 121264473., Theorem 3.6
Iorgulescu, A.: Connections between MV_n-algebras and n-valued Łukasiewicz–Moisil algebras—I. Discrete Math. 181, 155–177 (1998) doi:10.1016/S0012-365X(97)00052-6
Statman, R. (1979). "Intuitionistic propositional logic is polynomial-space complete". Theoretical Comput. Sci. 9: 67–72. doi:10.1016/0304-3975(79)90006-9. hdl:2027.42/23534.
Cook, S.A. (1971). "The complexity of theorem proving procedures". Proceedings, Third Annual ACM Symposium on the Theory of Computing, ACM, New York. pp. 151–158. doi:10.1145/800157.805047.
Grzegorczyk, Andrzej (1951). "Undecidability of some topological theories" (PDF). Fundamenta Mathematicae. 38: 137–52. doi:10.4064/fm-38-1-137-152.
see section 8.3 in * Dickmann, Max; Schwartz, Niels; Tressl, Marcus (2019). Spectral Spaces. New Mathematical Monographs. Vol. 35. Cambridge: Cambridge University Press. doi:10.1017/9781316543870. ISBN 9781107146723. S2CID 201542298.

Statman, R. (1979). "Intuitionistic propositional logic is polynomial-space complete". Theoretical Comput. Sci. 9: 67–72. doi:10.1016/0304-3975(79)90006-9. hdl:2027.42/23534.

Georgescu, G. (2006). "N-Valued Logics and Łukasiewicz–Moisil Algebras". Axiomathes. 16 (1–2): 123–136. doi:10.1007/s10516-005-4145-6. S2CID 121264473., Theorem 3.6
see section 8.3 in * Dickmann, Max; Schwartz, Niels; Tressl, Marcus (2019). Spectral Spaces. New Mathematical Monographs. Vol. 35. Cambridge: Cambridge University Press. doi:10.1017/9781316543870. ISBN 9781107146723. S2CID 201542298.