Categorical Abstract Algebraic Logic: More on Protoalgebraicity
|
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
|
|
|
Categorical Abstract Algebraic Logic: More on Protoalgebraicity
|
| Id. |
19384096 |
| Idioma |
inglés
|
| Titulo |
Categorical Abstract Algebraic Logic: More on Protoalgebraicity |
| Autor(es) |
Voutsadakis, George
|
| Localización |
http://projecteuclid.org/euclid.ndjfl/1168352663
Notre Dame J. Formal Logic 47, no. 4 (2006), 487-514
doi:10.1305/ndjfl/1168352663
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic ?-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the ?-institution framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics.
|
| Tipo |
application/pdf
|
| Palabras clave |
algebraic 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 2006 Duke University Press |
| Formatos |
application/pdf
|
| 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.
|
|
|
|
