Results 11 to 20 of about 16,440 (194)

The logics of individual Medvedev frames [PDF]

Logic Journal of the IGPL
Abstract Let $n$-Medvedev’s logic $\textbf{ML}_{n}$ be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size $n$, which we call $n$-Medvedev frames. While these are tabular logics, after characterizing $n$-Medvedev frames using the property of having at least $n$ maximal points, we offer a uniform ...
Zhicheng Chen, Yifeng Ding
core   +4 more sources

¿Estado de derecho o “democracia soberana”? Una aproximación al proyecto político de Dmitri Medvedev

Revista UNISCI, 2008
Desde la designación de Dmitri Medvedev por Vladimir Putin como su candidato para sucederle en la presidencia de Rusia, ratificada después por el triunfo electoral de Medvedev y su investidura el pasado 7 de mayo, se han publicado numerosos análisis que ...
Javier Morales
doaj   +1 more source

Medvedev, Sil’vester

, 2015
Short Biography of Sil'vestr Medvedev, Russian writer and court theologian.
ALBERTI, ALBERTO
core   +3 more sources

Embedding Brouwer algebras in the Medvedev lattice.

Notre Dame Journal of Formal Logic, 1991
It is known that the Medvedev lattice is a Brouwer algebra [\textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 104, 501--504 (1955; Zbl 0065.00301]. The author characterizes the class of finite Brouwer algebras that are embeddable in the Medvedev lattice via a lattice theoretic embedding which preserves the least element, the greatest element, as well as ...
Sorbi A.
openaire   +4 more sources

Ivalia submetallica Medvedev

, 2013
Published as part of Nadein, Konstantin S., 2013, Ivalia Jacoby-a flea beetle genus new to Australia (Coleoptera: Chrysomelidae: Galerucinae), pp.
Nadein, Konstantin S.
openaire   +3 more sources

Mikhail Andreyevich Medvedev (to the 75th birthday) [PDF]

Бюллетень сибирской медицины, 2010
Mikhail Andreyevich Medvedev (to the 75th birthday).
Article Editorial
doaj   +3 more sources

Two-temperature model (TTM) parameters (G, Ce, K) calculated with XTANT-3

, 2023
<h3>Two-temperature model parameters</h3><p><strong>Electron-temperature dependent parameters for modeling of laser-irradiated materials: electron-phonon coupling (G), electron heat capacity (Ce), and electron heat conductivity ...
Akhmetov, Fedor, Milov, Igor, Medvedev, Nikita   +2 more
core   +1 more source

On the structure of the Medvedev lattice [PDF]

Journal of Symbolic Logic, 2008
AbstractWe investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size . the size of the lattice itself.
openaire   +6 more sources

Contribution to the knowledge of the Clytrini of the Eastern Mediterranean, the Near East and the Arabian Peninsula, with descriptions of four new species (Coleoptera: Chrysomelidae: Cryptocephalinae)

European Journal of Taxonomy, 2018
Four new species of the tribe Clytrini Kirby, 1837, Labidostomis bcharrensis sp. nov. (Lebanon), Tituboea friedmani sp. nov. (Israel), Tituboea harteni sp. nov. (United Arab Emirates) and Tituboea radeki sp. nov.
Jan Bezděk
doaj   +1 more source

On the History of Creation of the Akathist to St. Sergius of Radonezh: A Gifted Copy from the Library of Peter I [PDF]

Вестник Екатеринбургской духовной семинарии, 2022
Written by Sylvester Medvedev Akathist to St. Sergius of Radonezh (BAN. P I A No. 85), with a low popularity of the copy itself and a broad publicity of the text contained in it, stands alone among a few dozen gifted manuscripts of the library of Peter I.
Vera G. Podkovyrova
doaj   +1 more source