Algebraization in quasi-Nelson logics
Quasi-Nelson logic is a recently introduced generalization of Nelson’s constructive logic with strong negation to a non-involutive setting. The present work proposes to study the logic of some fragments of quasi-Nelson logic, namely: pocrims (ℒQNP) and semihoops (ℒQNS); in addition to the logic of...
Na minha lista:
Autor principal: | Lima Neto, Clodomir Silva |
---|---|
Outros Autores: | Rivieccio, Umberto |
Formato: | Dissertação |
Idioma: | pt_BR |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/handle/123456789/57493 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Algebraic semantics and calculi for Nelson's logics
por: Silva, Thiago Nascimento da
Publicado em: (2022) -
The Interval Constructor on classes of ML-algebras
por: Santos, Hélida Salles
Publicado em: (2014) -
Deciding difference logic in a Nelson-Oppen combination framework
por: Oliveira, Diego Caminha Barbosa de
Publicado em: (2014) -
Espectro de Polariton de Plasmons e Ondas de Luz em Quasi-Cristais
por: Vasconcelos, Manoel Silva de
Publicado em: (2014) -
On rich modal logics
por: Dodó, Adriano Alves
Publicado em: (2015)