Algebraic semantics for the minimum many-valued modal logic over Łn

Busaniche, Manuela et al · Elsevier · 2021

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Busaniche, Manuela et al

Editorial

Elsevier

Año

2021

ISSN

0165-0114

ISSN

0165-0114

Idioma

eng

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

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 as a consequence the completeness result of the logic with respect to the Kripke semantics. As a first step towards the study of this algebraic semantics, we study some congruences of the complex algebras.
Fil: Busaniche, Manuela. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Litoral. Facultad de Ingeniería Química. Departamento de Matemáticas; Argentina
Fil: Cordero González, Penélope. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Núcleo Consolidado de Matemática Pura y Aplicada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Busaniche, M. E. A. (2021). Algebraic semantics for the minimum many-valued modal logic over Łn. http://hdl.handle.net/11336/160502

MLA

Busaniche, Manuela et al. "Algebraic semantics for the minimum many-valued modal logic over Łn." 2021. http://hdl.handle.net/11336/160502.

Chicago

Busaniche, Manuela et al. 2021. "Algebraic semantics for the minimum many-valued modal logic over Łn.". http://hdl.handle.net/11336/160502.

Harvard

Busaniche, M. E. A. 2021, Algebraic semantics for the minimum many-valued modal logic over Łn, Elsevier, available at: http://hdl.handle.net/11336/160502 [Accessed 26 Jun. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Algebraic semantics for the minimum many-valued modal logic over Łn

Autor / colaboradores: Busaniche, Manuela et al

Editorial: Elsevier

Año de publicación: 2021

ISSN: 0165-0114

ISSN: 0165-0114

Idioma: eng

Materias

Explorá otros recursos relacionados a partir de estas materias.

COMPLEX ALGEBRAS; MANY-VALUED MODAL LOGICS; MV-ALGEBRAS; https://purl.org/becyt/ford/1.1; https://purl.org/becyt/ford/1