Constructive Logic and the Medvedev Lattice
Notre Dame Journal of Formal Logic, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sebastiaan Terwijn
exaly +4 more sources
First record of the genus Anthomalachius Tshernyshev, 2009 (Coleoptera, Malachiidae) from China [PDF]
Biodiversity Data JournalAnthomalachius Tshernyshev, 2009 is a small genus belonging to the tribe Malachiini in the family Malachiidae of the order Coleoptera, with six currently known species: A.
Junbo Tong +3 more
doaj +4 more sources
First-Order Logic in the Medvedev Lattice [PDF]
Studia Logica, 2015 Kolmogorov introduced an informal calculus of problems in an attempt to provide a classical semantics for intuitionistic logic. This was later formalised by Medvedev and Muchnik as what has come to be called the Medvedev and Muchnik lattices. However, they only formalised this for propositional logic, while Kolmogorov also discussed the universal ...
exaly +6 more sources
Revision of the genus Colasia Koch, 1965 (= Belousovia Medvedev, 2007, syn. nov.) (Coleoptera, Tenebrionidae, Blaptini) [PDF]
ZooKeys, 2023 The relationship between the genera Colasia Koch, 1965 and Belousovia Medvedev, 2007 within the tribe Blaptini is discussed, and a new synonymy is proposed: Belousovia Medvedev, 2007, syn. nov. of Colasia Koch, 1965.
Xing-Long Bai, Jing-Ze Liu, Guo-Dong Ren
doaj +3 more sources
Taxonomical changes and comments on Palaearctic and Oriental Chrysomelidae (Coleoptera) [PDF]
Кавказский энтомологический бюллетень, 2020 Based on the study of primary type material, the following taxonomic changes in Palaearctic and Oriental Galerucinae and Cryptocephalinae (Clytrini) are proposed: Apophylia Thomson, 1858 = Apophylana Medvedev, 2019, syn. n.; Galeruca subgenus Rhabdotilla
J. Bezděk, R. Beenen
doaj +1 more source
Taxonomic notes on the genus Pedinus Latreille, 1796 (Coleoptera: Tenebrionidae) with a new key to species of the European part of Russia [PDF]
Кавказский энтомологический бюллетень, 2023 The taxonomic position of some species and subspecies of the genus Pedinus Latreille, 1796 is revised. Two subspecies of the species Pedinus cimmerius G.S.
M.V. Nabozhenko
doaj +1 more source
A review of the genus Lankaphthona Medvedev, 2001, with comments on the modified phallobase and the unique abdominal appendage of L. binotata (Baly) (Coleoptera, Chrysomelidae, Galerucinae, Alticini) [PDF]
ZooKeys, 2019 The flea beetle genus Lankaphthona Medvedev, 2001 is redescribed and a new species L. yunnantarsella sp. nov. Ruan, Konstantinov & Prathapan is described. Longitarsella Medvedev, 2009, syn. nov. and Philotarsa Medvedev, 2009, syn. nov.
Yongying Ruan +4 more
doaj +3 more sources
Two new species of the genus Smaragdina Chevrolat, 1836 (Coleoptera, Chrysomelidae, Cryptocephalinae) from China [PDF]
ZooKeys, 2022 Two new species of the genus Smaragdina Chevrolat from China are reported: S. hejingensis Duan, Wang & Zhou sp. nov. from Xinjiang, and S. magnipunctata Duan, Wang and Zhou sp. nov. from Yunnan. Six species, S. divisa (Jacoby), S.
Wen-Yuan Duan +2 more
doaj +3 more sources
Randomness extraction and asymptotic Hamming distance [PDF]
Logical Methods in Computer Science, 2013 We obtain a non-implication result in the Medvedev degrees by studying sequences that are close to Martin-L\"of random in asymptotic Hamming distance. Our result is that the class of stochastically bi-immune sets is not Medvedev reducible to the class of
Cameron E. Freer, Bjoern Kjos-Hanssen
doaj +1 more source
Revision of the Theopea genus group (Coleoptera, Chrysomelidae, Galerucinae), part III: Descriptions of two new genera and nine new species [PDF]
ZooKeys, 2020 This publication treats species within Theopea and closely allied genera that were not covered in the previous two revisions. Three species of Theopea Baly, 1864 are treated herein, with T. bicolor Kimoto, 1989 and T.
Chi-Feng Lee, Jan Bezděk
doaj +3 more sources