Zobrazeno 1 - 10
of 2 158
pro vyhledávání: '"ALMEIDA, RODRIGO"'
We investigate the set-theoretic strength of several maximality principles that play an important role in the study of modal and intuitionistic logics. We focus on the well-known Fine and Esakia maximality principles, present two formulations of each
Externí odkaz:
http://arxiv.org/abs/2412.13706
Autor:
Santos, Olivia Franco, Espósito, Thaís Sette, Almeida, Rodrigo De Martin, Santos, Augusto Cézar Apolinário, Lopes, Jordana Alícia Silveira, Gusmão, Amanda do Carmo, Magalhães, Nathalia Noyma Sampaio, Rodrigues, Daniela de Oliveira Werneck
Publikováno v:
Revista Médica de Minas Gerais, Vol 32, p e-32204 (2022)
Introduction: The pandemic caused by the new coronavirus (SarsCoV-2), a disease called COVID-19, has reached more than 219 countries with great damage and impact on global health. The viral infection triggers an explosive, hyperactive and uncontrol
Externí odkaz:
https://doaj.org/article/b0bda22ecd5d4283b79b0f6da3ba1ee3
We give a new coalgebraic semantics for intuitionistic modal logic with $\Box$. In particular, we provide a colagebraic representation of intuitionistic descriptive modal frames and of intuitonistic modal Kripke frames based on image-finite posets. T
Externí odkaz:
http://arxiv.org/abs/2406.10649
We develop a method to recognize admissibility of $\Pi_{2}$-rules, relating this problem to a specific instance of the unification problem with linear constants restriction, called here "unification with simple variable restriction". It is shown that
Externí odkaz:
http://arxiv.org/abs/2406.03265
Autor:
Almeida, Rodrigo Nicolau
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a left adjo
Externí odkaz:
http://arxiv.org/abs/2402.08058
Autor:
Almeida, Rodrigo Nicolau
In this paper we present a general theory of $\Pi_{2}$-rules for systems of intuitionistic and modal logic. We introduce the notions of $\Pi_{2}$-rule system and of an Inductive Class, and provide model-theoretic and algebraic completeness theorems,
Externí odkaz:
http://arxiv.org/abs/2311.07189
Autor:
Almeida, Maurício S., Caldas, Francisco Rodrigo de L., de Almeida, Rodrigo Q., Eleutério, José A., da Silva, Letícia V.
The use of facial masks played a pivotal role in combating COVID-19 during the pandemic period, particularly in the absence of vaccines for the disease. This study elucidates how this type of equipment can effectively contain viruses and bacteria of
Externí odkaz:
http://arxiv.org/abs/2309.12346
Autor:
Almeida, Rodrigo Figueiredo
Os plantios florestais fornecem boa parte do suprimento de madeira para o mercado global. A sustentabilidade desses plantios é colocada em questionamento, pois são normalmente estabelecidos em solos de baixa fertilidade e com grandes exportações
Autor:
Almeida, Rodrigo, Dilão, Rui
Physarum polycephalum is an acellular slime mould that grows as a highly adaptive network of veins filled with protoplasm. As it forages, Physarum dynamically rearranges its network structure as a response to local stimuli information, optimising the
Externí odkaz:
http://arxiv.org/abs/2305.12244