Algebraic semantics for Nelson’s logic S

Besides the better-known Nelson logic ( 3) and paraconsistent Nelson logic ( 4), in Negation and separation of concepts in constructive systems (1959) David Nelson introduced a logic that he called , with motivations of arithmetic and constructibility. The logic was defined by means of a calculu...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Silva, Thiago Nascimento da
Otros Autores: Rivieccio, Umberto
Formato: Dissertação
Lenguaje:por
Publicado: Brasil
Materias:
Lógica
Lógicas de Nelson
Lógicas construtivistas
Negação forte
Lógica de Nelson paraconsistente
Lógicas subestruturais
Reticulados residuados trêspotente
Lógica algébrica
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Acceso en línea:https://repositorio.ufrn.br/jspui/handle/123456789/24823
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/24823

Ejemplares similares