Intermediate logic (English Wikipedia)

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

refsWebsite

Global rank English rank

2^nd place

26^th place

20^th place

2,467^th place

2,049^th place

3,863^rd place

2,637^th place

3,707^th place

2,409^th place

305^th place

264^th place

cambridge.org

Terwijn 2006. Terwijn, Sebastiaan A. (2006). "Constructive Logic and the Medvedev Lattice". Notre Dame Journal of Formal Logic. 47 (1): 73–82. doi:10.1305/ndjfl/1143468312.
Gabbay & De Jongh 1974. Gabbay, D. M.; De Jongh, D. H. J. (1974). "A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property". Journal of Symbolic Logic. 39 (1): 67‒78. doi:10.2307/2272344. JSTOR 2272344.
Medvedev 1962. Medvedev, Yu T. (1962). "[Finite Problems]" (PDF). Soviet Mathematics (in Russian). 3 (1): 227–230. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(20) by Elliott Mendelson.
Medvedev 1963. Medvedev, Yu T. (1963). "[Interpretation of logical formulas by means of finite problems and its relation to the readability theory]" (PDF). Soviet Mathematics (in Russian). 4 (1): 180–183. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(21) by Sue Ann Walker.
Medvedev 1966. Medvedev, Yu T. (1966). "[Interpretation of logical formulas by means of finite problems]" (PDF). Soviet Mathematics (in Russian). 7 (4): 857–860. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(22) by Sue Ann Walker

Gabbay & De Jongh 1974. Gabbay, D. M.; De Jongh, D. H. J. (1974). "A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property". Journal of Symbolic Logic. 39 (1): 67‒78. doi:10.2307/2272344. JSTOR 2272344.
Medvedev 1962. Medvedev, Yu T. (1962). "[Finite Problems]" (PDF). Soviet Mathematics (in Russian). 3 (1): 227–230. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(20) by Elliott Mendelson.
Medvedev 1963. Medvedev, Yu T. (1963). "[Interpretation of logical formulas by means of finite problems and its relation to the readability theory]" (PDF). Soviet Mathematics (in Russian). 4 (1): 180–183. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(21) by Sue Ann Walker.
Medvedev 1966. Medvedev, Yu T. (1966). "[Interpretation of logical formulas by means of finite problems]" (PDF). Soviet Mathematics (in Russian). 7 (4): 857–860. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(22) by Sue Ann Walker

Medvedev 1962. Medvedev, Yu T. (1962). "[Finite Problems]" (PDF). Soviet Mathematics (in Russian). 3 (1): 227–230. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(20) by Elliott Mendelson.
Medvedev 1963. Medvedev, Yu T. (1963). "[Interpretation of logical formulas by means of finite problems and its relation to the readability theory]" (PDF). Soviet Mathematics (in Russian). 4 (1): 180–183. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(21) by Sue Ann Walker.
Medvedev 1966. Medvedev, Yu T. (1966). "[Interpretation of logical formulas by means of finite problems]" (PDF). Soviet Mathematics (in Russian). 7 (4): 857–860. doi:10.2307/2272084. JSTOR 2272084. English translation of XXXVIII 356(22) by Sue Ann Walker