Zobrazeno 1 - 10
of 116
pro vyhledávání: '"Castano, Diego"'
In this article we characterize the equivalent algebraic semantics for the one-variable monadic fragment of the first-order logic ${\cal G} \forall_{\sim}$ defined by F. Esteva, L. Godo, P. H\'ajek and M. Navara in Residuated fuzzy logics with an inv
Externí odkaz:
http://arxiv.org/abs/2411.11097
Autor:
Paz-Martín, José, Schüller, Andreas, Bourgouin, Alexandra, Gago-Arias, Araceli, Gonzalez-Castaño, Diego M., Gómez-Fernández, Nicolás, Pardo-Montero, Juan, Gómez, Faustino
Air-vented ionization chambers exposed to clinical radiation beams may suffer from recombination during the drift of the charge carriers towards the electrodes. Thus, dosimetry protocols recommend the use of a correction factor, usually denominated s
Externí odkaz:
http://arxiv.org/abs/2410.02696
The axiomatic system introduced by H\'ajek axiomatizes first-order logic based on BL-chains. In this study, we extend this system with the axiom $(\forall x \phi)^2 \leftrightarrow \forall x \phi^2$ and the infinitary rule \[ \frac{\phi \vee (\alpha
Externí odkaz:
http://arxiv.org/abs/2408.04792
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then expanded with an
Externí odkaz:
http://arxiv.org/abs/2408.04757
The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary algebraic struct
Externí odkaz:
http://arxiv.org/abs/2307.02617
Publikováno v:
In Annals of Pure and Applied Logic March 2025 176(3)
Publikováno v:
In Fuzzy Sets and Systems 30 January 2025 500
In this paper we continue the study of the variety $\mathbb{MG}$ of monadic G\"odel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of G\"odel logic, which is equivalent to the one-variable monadic fragment o
Externí odkaz:
http://arxiv.org/abs/2006.10180
In this paper we study the subdirectly irreducible algebras in the variety ${\cal PCDM}$ of pseudocomplemented De Morgan algebras by means of their De Morgan $p$-spaces. We introduce the notion of $body$ of an algebra ${\bf L} \in {\cal PCDM}$ and de
Externí odkaz:
http://arxiv.org/abs/2006.09576
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of $\mathcal{Q
Externí odkaz:
http://arxiv.org/abs/2006.09572