Інтуїціоністська логіка (Ukrainian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Інтуїціоністська логіка" in Ukrainian language version.

refsWebsite

Global rank Ukrainian rank

6web.archive.org

1^st place

1^st place

179^th place

277^th place

2^nd place

4^th place

2,656^th place

269^th place

6^th place

6^th place

782^nd place

1,942^nd place

69^th place

188^th place

low place

low place

low place

low place

archive.org

Rasiowa, Helena; Roman Sikorski (1963). The Mathematics of Metamathematics. Monografie matematyczne. Warsaw: Państwowe Wydawn. Naukowe. с. 385–386.

arxiv.org

R. Constable, M. Bickford, Intuitionistic completeness of first-order logic, Annals of Pure and Applied Logic, to appear, DOI:10.1016/j.apal.2013.07.009. Preprint on ArXiv [Архівовано 6 жовтня 2016 у Wayback Machine.].

doi.org

dx.doi.org

R. Constable, M. Bickford, Intuitionistic completeness of first-order logic, Annals of Pure and Applied Logic, to appear, DOI:10.1016/j.apal.2013.07.009. Preprint on ArXiv [Архівовано 6 жовтня 2016 у Wayback Machine.].

doi.org

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.

icm.edu.pl

matwbn.icm.edu.pl

Alfred Tarski, Der Aussagenkalkül und die Topologie, Fundamenta Mathematicae 31 (1938), 103–134. [1] [Архівовано 11 лютого 2012 у Wayback Machine.]

liglab.fr

teachinglogic.liglab.fr

Lévy, Michel (2011). Logique modale propositionnelle S4 et logique intuitioniste propositionnelle [Архівовано 4 лютого 2014 у Wayback Machine.], pp. 4–5.

nott.ac.uk

cs.nott.ac.uk

Natasha Alechina, Michael Mendler, Valeria de Paiva, and Eike Ritter. Categorical and Kripke Semantics for Constructive S4 Modal Logic [Архівовано 26 березня 2015 у Wayback Machine.]

stanford.edu

plato.stanford.edu

Proof that intuitionistic logic has no third truth value, Glivenko 1928. Архів оригіналу за 11 вересня 2018. Процитовано 31 жовтня 2014.
Intuitionistic Logic [Архівовано 26 квітня 2021 у Wayback Machine.]. Written by Joan Moschovakis [Архівовано 10 лютого 2021 у Wayback Machine.]. Published in Stanford Encyclopedia of Philosophy.

ucla.edu

math.ucla.edu

Intuitionistic Logic [Архівовано 26 квітня 2021 у Wayback Machine.]. Written by Joan Moschovakis [Архівовано 10 лютого 2021 у Wayback Machine.]. Published in Stanford Encyclopedia of Philosophy.

web.archive.org

Proof that intuitionistic logic has no third truth value, Glivenko 1928. Архів оригіналу за 11 вересня 2018. Процитовано 31 жовтня 2014.
Alfred Tarski, Der Aussagenkalkül und die Topologie, Fundamenta Mathematicae 31 (1938), 103–134. [1] [Архівовано 11 лютого 2012 у Wayback Machine.]
Intuitionistic Logic [Архівовано 26 квітня 2021 у Wayback Machine.]. Written by Joan Moschovakis [Архівовано 10 лютого 2021 у Wayback Machine.]. Published in Stanford Encyclopedia of Philosophy.
R. Constable, M. Bickford, Intuitionistic completeness of first-order logic, Annals of Pure and Applied Logic, to appear, DOI:10.1016/j.apal.2013.07.009. Preprint on ArXiv [Архівовано 6 жовтня 2016 у Wayback Machine.].
Lévy, Michel (2011). Logique modale propositionnelle S4 et logique intuitioniste propositionnelle [Архівовано 4 лютого 2014 у Wayback Machine.], pp. 4–5.
Natasha Alechina, Michael Mendler, Valeria de Paiva, and Eike Ritter. Categorical and Kripke Semantics for Constructive S4 Modal Logic [Архівовано 26 березня 2015 у Wayback Machine.]