Buscar
Mostrando ítems 1-10 de 37
On prelinear Hilbert algebras with successor
(Elsevier Science, 2020-10)
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras with successor to the algebraic category of bounded prelinear Hilbert algebras with ...
Prelinear Hilbert algebras
(Elsevier, 2019-08)
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear ...
An algebraic study of S5-modal Gödel logic
(Springer, 2021-02-03)
In this paper we continue the study of the variety MG of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic ...
On the category of Nelson paraconsistent lattices
(Oxford University Press, 2017-10)
We present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of pairs to Gödel hoops, we get ...
Semi-Heyting Algebras Term-equivalent to Gödel Algebras
(Springer, 2013-07)
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are term-equivalent to the variety LH of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties ...
Poset product and BL-algebras
(Elsevier B.V., 2019-09)
We give sufficient conditions for a BL-algebra to be isomorphic to a poset product of BL-chains which are poset product indecomposable.
Completeness for monadic fuzzy logics via functional algebras
(Elsevier Science, 2021-03-01)
We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic ...
Teorema de Kalmar a partir de un enfoque algebraico de todos los teoremas de completitud e incompletitud de Gödel
(2019)
Los teoremas que se profundizan en el presente trabajo, son los dos teoremas de Kurt Gödel (1906-1978) primero el de Completitud para el Cálculo de Predicados de Primer Orden y segundo el de Incompletitud en Sistemas ...
Are there causal vacuum solutions with the symmetries of the Gödel universe in higher-derivative gravity?
(1988-01-01)
A globally causal vacuum solution with the symmetries of the Gödel universe is obtained in the framework of higher-derivative gravity. This very peculiar and rare result has no similar one in standard general relativity. ...
Técnicas geométricas y combinatorias en el estudio de subvariedades de BL-álgebras
(2017-12-11)
En esta tesis estudiamos una subvariedad MG contenida en la variedad de BL-álgebras generada por una BL-cadena dada por la suma ordinal de la MV-álgebra [0,1] y el hoop de Gödel [0,1]. Se da la descripción del álgebra libre ...