Algebraic semantics and calculi for Nelson's logics

The aim of this thesis is to study a family of logics, comprised of Nelson’s logic S, constructive logic with strong negation N 3, quasi-Nelson logic QN and quasi-Nelson implicative logic QN I. This is done in two ways. The first is by means of an axiomatisation via a Hilbert Calculus and the seco...

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Silva, Thiago Nascimento da
Altri autori: Almeida, João Marcos de
Natura: doctoralThesis
Lingua:pt_BR
Pubblicazione: Universidade Federal do Rio Grande do Norte
Soggetti:
Computação
Algebraisable logics
Substructural logics
Residuated lattices
Nelson's logics
Algebraic logic
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Accesso online:https://repositorio.ufrn.br/handle/123456789/49321
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne! !

Accesso online

https://repositorio.ufrn.br/handle/123456789/49321

Documenti analoghi