Intuitionistic logic (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Intuitionistic logic" in English language version.

refsWebsite

Global rank English rank

7doi.org

2^nd place

3springer.com

274^th place

309^th place

2arxiv.org

69^th place

59^th place

2princeton.edu

741^st place

577^th place

1books.google.com

3^rd place

1semanticscholar.org

11^th place

8^th place

1icm.edu.pl

2,656^th place

5,310^th place

1stanford.edu

179^th place

183^rd place

1liglab.fr

low place

arxiv.org (Global: 69^th place; English: 59^th place)

Japaridze 2009. Japaridze, Giorgi (January 2009). "In the Beginning was Game Semantics?". In Majer, O.; Pietarinen, A.-V.; Tulenheimo, T. (eds.). Games: Unifying Logic, Language and Philosophy. Vol. 15. Springer. pp. 249–350. arXiv:cs/0507045. doi:10.1007/978-1-4020-9374-6_11. ISBN 978-1-4020-9373-9.
Constable & Bickford 2014. Constable, R.; Bickford, M. (2014). "Intuitionistic completeness of first-order logic". Annals of Pure and Applied Logic. 165: 164–198. arXiv:1110.1614. doi:10.1016/j.apal.2013.07.009. S2CID 849930.

books.google.com (Global: 3^rd place; English: 3^rd place)

Takeuti 2013. Takeuti, Gaisi (2013) [1975]. Proof theory (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0-486-49073-1.

doi.org (Global: 2^nd place; English: 2^nd place)

Shehtman 1990. Shehtman, Valentin (1990). "Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable". Studia Logica. 49 (3): 365–385. doi:10.1007/BF00370370.
Japaridze 2009. Japaridze, Giorgi (January 2009). "In the Beginning was Game Semantics?". In Majer, O.; Pietarinen, A.-V.; Tulenheimo, T. (eds.). Games: Unifying Logic, Language and Philosophy. Vol. 15. Springer. pp. 249–350. arXiv:cs/0507045. doi:10.1007/978-1-4020-9374-6_11. ISBN 978-1-4020-9373-9.
Constable & Bickford 2014. Constable, R.; Bickford, M. (2014). "Intuitionistic completeness of first-order logic". Annals of Pure and Applied Logic. 165: 164–198. arXiv:1110.1614. doi:10.1016/j.apal.2013.07.009. S2CID 849930.
Tarski 1938. Tarski, Alfred (1938). "Der Aussagenkalkül und die Topologie". Fundamenta Mathematicae. 31: 103–134. doi:10.1007/BF00370370.
Kripke 1965. Kripke, Saul A. (1965). "Semantical analysis of intuitionistic logic I" (PDF). In Crossley, J.N.; Dummett, M.A.E. (eds.). Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963. Studies in Logic and the Foundations of Mathematics. Vol. 40. Amsterdam: North-Holland Publishing Company. pp. 92–130. doi:10.1016/S0049-237X(08)71685-9. ISBN 9780444534057.
Aoyama 2004. Aoyama, Hiroshi (2004). "LK, LJ, Dual Intuitionistic Logic, and Quantum Logic". Notre Dame Journal of Formal Logic. 45 (4): 193–213. doi:10.1305/ndjfl/1099238445.
Burgess 2014. Burgess, John (January 2014). "Intuitions of Three Kinds in Gödel's Views on the Continuum" (PDF). doi:10.1017/CBO9780511756306.002 (inactive 12 July 2025).{{cite web}}: CS1 maint: DOI inactive as of July 2025 (link)

icm.edu.pl (Global: 2,656^th place; English: 5,310^th place)

matwbn.icm.edu.pl

Tarski 1938. Tarski, Alfred (1938). "Der Aussagenkalkül und die Topologie". Fundamenta Mathematicae. 31: 103–134. doi:10.1007/BF00370370.

liglab.fr (Global: low place; English: low place)

teachinglogic.liglab.fr

Lévy 2011, pp. 4–5. Lévy, Michel (29 April 2011), Logique modale propositionnelle S4 et logique intuitioniste propositionnelle (PDF) (in French)

princeton.edu (Global: 741^st place; English: 577^th place)

Kripke 1965. Kripke, Saul A. (1965). "Semantical analysis of intuitionistic logic I" (PDF). In Crossley, J.N.; Dummett, M.A.E. (eds.). Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium Oxford, July 1963. Studies in Logic and the Foundations of Mathematics. Vol. 40. Amsterdam: North-Holland Publishing Company. pp. 92–130. doi:10.1016/S0049-237X(08)71685-9. ISBN 9780444534057.
Burgess 2014. Burgess, John (January 2014). "Intuitions of Three Kinds in Gödel's Views on the Continuum" (PDF). doi:10.1017/CBO9780511756306.002 (inactive 12 July 2025).{{cite web}}: CS1 maint: DOI inactive as of July 2025 (link)

semanticscholar.org (Global: 11^th place; English: 8^th place)

api.semanticscholar.org

Constable & Bickford 2014. Constable, R.; Bickford, M. (2014). "Intuitionistic completeness of first-order logic". Annals of Pure and Applied Logic. 165: 164–198. arXiv:1110.1614. doi:10.1016/j.apal.2013.07.009. S2CID 849930.

springer.com (Global: 274^th place; English: 309^th place)

link.springer.com

Shehtman 1990. Shehtman, Valentin (1990). "Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable". Studia Logica. 49 (3): 365–385. doi:10.1007/BF00370370.
Japaridze 2009. Japaridze, Giorgi (January 2009). "In the Beginning was Game Semantics?". In Majer, O.; Pietarinen, A.-V.; Tulenheimo, T. (eds.). Games: Unifying Logic, Language and Philosophy. Vol. 15. Springer. pp. 249–350. arXiv:cs/0507045. doi:10.1007/978-1-4020-9374-6_11. ISBN 978-1-4020-9373-9.

springer.com

Japaridze 2009. Japaridze, Giorgi (January 2009). "In the Beginning was Game Semantics?". In Majer, O.; Pietarinen, A.-V.; Tulenheimo, T. (eds.). Games: Unifying Logic, Language and Philosophy. Vol. 15. Springer. pp. 249–350. arXiv:cs/0507045. doi:10.1007/978-1-4020-9374-6_11. ISBN 978-1-4020-9373-9.

stanford.edu (Global: 179^th place; English: 183^rd place)

plato.stanford.edu

Moschovakis 2022. Moschovakis, Joan (16 December 2022). "Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.

Intuitionistic logic (English Wikipedia)

arxiv.org (Global: 69th place; English: 59th place)

books.google.com (Global: 3rd place; English: 3rd place)

doi.org (Global: 2nd place; English: 2nd place)

icm.edu.pl (Global: 2,656th place; English: 5,310th place)