Zobrazeno 1 - 10
of 2 128
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
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, 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
Autor:
Almeida, Rodrigo Nicolau
This paper presents a novel concept of a Polyatomic Logic and initiates its systematic study. This approach, inspired by Inquisitive semantics, is obtained by taking a variant of a given logic, obtained by looking at the fragment covered by a selecto
Externí odkaz:
http://arxiv.org/abs/2212.14663
Autor:
Donegan, Monica A. 1, 6, Kahn, Alexandra K. 1, 6, 8, Becker, Nathalie 2, 6, Castillo Siri, Andreina 1, Campos, Paola E. 2, 3, Boyer, Karine 3, Colwell, Alison 4, Briand, Martial 5, Almeida, Rodrigo P.P. 1, 7, 9, ∗, Rieux, Adrien 3, 7, ∗∗
Publikováno v:
In Current Biology 6 January 2025 35(1):145-153
