An Abstract Algebraic Logic Approach to Tetravalent Modal Logics
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics
|
| Id. |
37476171 |
| Idioma |
inglés
|
| Titulo |
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics |
| Autor(es) |
Font, Josep Maria
Rius, Miquel
|
| Localización |
http://projecteuclid.org/euclid.jsl/1183746060
J. Symbolic Logic 65, iss. 2 (2000), 481-518
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied here arise from the algebraic and lattice-theoretical properties we review of Tetravalent Modal Algebras, a class of algebras studied mainly by Loureiro, and also by Figallo, Landini and Ziliani, at the suggestion of the late Antonio Monteiro.
|
| Palabras clave |
Abstract Logic
|
| Tipo de recurso |
Text
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
Copyright 2000 Association for Symbolic Logic |
| Requerimientos técnicos |
Browser: Any
|
| Fecha de contribución |
21-nov-2008 |
| Contacto |
|
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
