Search academic resources

For each n∈N, we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining ...

In the paper Busaniche and Cignoli (2009) we presented a quasivariety of commutative residuated lattices, called NPc-lattices, that serves as an algebraic semantics for paraconsistent Nelson's logic. In the present paper...

Subjects / keywords: Science: Mathematics

Subjects / keywords: algebra, mathematics; Science: Mathematics

Las tecnologías actuales permiten desarrollar ordenadores cuyos componentes funcionan de acuerdo con los postulados de la mecánica cuántica, una disciplina con fama de gran complejidad. A pesar de ello, la computació...

Concepción de límite a través de representaciones semióticas es una obra esencial para docentes e investigadores interesados en superar la enseñanza tradicional y algorítmica de las matemáticas. A partir de una ri...

El estudio de la MV-álgebras tiene una gran importancia en el contexto del álgebra, ya que, además de su relación con las lógicas multivaluadas, también se vincula con otros contextos relevantes de este campo, como...

Con este libro pretendemos dar a los alumnos y maestros una herramienta que fomenta el desarrollo de competencias en los alumnos, y que los alumnos logren un aprendizaje significativo para una formación integral, a tra...

An l-hemi-implicative semilattice is an algebra A=(A,∧,→,1) such that (A,∧,1) is a semilattice with a greatest element 1 and satisfies: (1) for every a,b,c∈A , a≤b→c implies a∧b≤c and (2) a...

"Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem...

Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of...

This article is concerned with an exploration of a family of systems---called immune logics---whose main properties are, in some sense, related to those of the well-known family of infectious logics. The distinctive feat...

Weinvestigate some modal operators of necessity and possibility that form an adjoint pair in the context of meet-complemented lattices. We prove that they form an equational class and we study the modalities, i.e. the fi...

La idea de construir una álgebra que expresara matemáticamente propiedades for­males de conceptos lógicos tiene hoy más de un siglo. En 1847 G. Boole presentó un sis­tema algebraico asociable al cálculo de conect...

En este trabajo presentamos un paquete que hemos desarrollado para manejar y visualizar reticulados y álgebras de Łukasiewicz finitos. Este provee al investigador matemático herramientas para realizar en forma sencill...

In [1] we presented the logic P=PML, a formalism suitable for the speci cation and construction of Real-Time systems. The main algebraic result, namely, the interpretability of P/PML into an equa- tional calculus based o...

La creciente importancia de los factores críticos en el software hace que la utilización de métodos formales de desarrollo sea cada vez más frecuente. En este contexto, la construcción rigurosa de programas, concebi...

Con el objeto de iniciarme en la tarea de realizar investiación en Matemáticas y Lógica Matemática, Aldo V. Figallo, mi pa-dre y director de este trabajo, me sugirió comenzar con el análisis de un sistema proposici...

Subjects / keywords: algebraic logic, boolean-valued fuzzy sets, fuzzy model theory, l-fuzzy sets, rough sets, states of fuzzy structures; Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics....

Subjects / keywords: algebraic hyperstructures, fuzzy structures, logical algebras, mathematical analysis, mathematical structures, hyperstructures; Science: Mathematics

Este libro, haciendo honor a su nombre, presenta de modo explícito y preciso la cantidad de estrellas mágicas de seis puntas que se pueden diseñar usando los números naturales comprendidos entre 1 y 12. Surge de una ...

En el cálculo proposicional intuicionista podemos considerar los símbolos de conectivos asociados a la implicación, conjunción, disyunción y negación respectivamente. Kuznetsov introdujo un símbolo de conectivo un...