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

2stanford.edu

179^th place

183^rd place

2arxiv.org

69^th place

59^th place

2princeton.edu

741^st place

577^th place

1le.ac.uk

5,357^th place

3,654^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

1liglab.fr

low place

arxiv.org

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

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

doi.org

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 1 November 2024).{{cite web}}: CS1 maint: DOI inactive as of November 2024 (link)

icm.edu.pl

matwbn.icm.edu.pl

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

le.ac.uk

cs.le.ac.uk

Bezhanishvili & De Jongh, p. 8. Bezhanishvili, Nick; De Jongh, Dick. "Intuitionistic Logic" (PDF). University of Amsterdam (Institute for Logic, Language and Computation).

liglab.fr

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

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 1 November 2024).{{cite web}}: CS1 maint: DOI inactive as of November 2024 (link)

semanticscholar.org

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

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

plato.stanford.edu

Van Atten 2022. Van Atten, Mark (4 May 2022). "The Development of Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.
Moschovakis 2022. Moschovakis, Joan (16 December 2022). "Intuitionistic Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.