直観主義論理 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "直観主義論理" in Japanese language version.

refsWebsite

Global rank Japanese rank

2^nd place

6^th place

1projecteuclid.org

3,707^th place

5,131^st place

5^th place

19^th place

low place

low place

low place

low place

doi.org

Urbas, Igor (1996-07-01). “Dual-Intuitionistic Logic”. Notre Dame Journal of Formal Logic 37 (3). doi:10.1305/ndjfl/1039886520. ISSN 0029-4527.
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.

liglab.fr

teachinglogic.liglab.fr

Lévy, Michel (2011年4月29日). “Logique modale propositionnelle S4 et logique intuitioniste propositionnelle” (PDF). pp. 4–5. 2015年5月8日閲覧。

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” (PDF). 2015年5月8日閲覧。

projecteuclid.org

Urbas, Igor (1996-07-01). “Dual-Intuitionistic Logic”. Notre Dame Journal of Formal Logic 37 (3). doi:10.1305/ndjfl/1039886520. ISSN 0029-4527.

worldcat.org

search.worldcat.org

Urbas, Igor (1996-07-01). “Dual-Intuitionistic Logic”. Notre Dame Journal of Formal Logic 37 (3). doi:10.1305/ndjfl/1039886520. ISSN 0029-4527.