De relações a vizinhanças: um entendimento sobre não-normalidade modal
The quest for mathematical structures to represent some logical behaviors is important for a better understanding of these logics. For example, propositional classical logic can be characterized by Boolean Algebras. When adding modalities to classical logic, we need other structures to represent...
Na minha lista:
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Brasil
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/26312 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Resumo: | The quest for mathematical structures to represent some logical behaviors is important
for a better understanding of these logics. For example, propositional classical logic can
be characterized by Boolean Algebras. When adding modalities to classical logic, we
need other structures to represent them, as relational frames for normal modal logics, for
example in the case of non-normal modalities, we need neighborhood frames to represent
classical modal logics. In this work we investigate neighborhood frames for non-normal
modal logics, with the goal to relate frame semantics with proof systems. Moreover we
aim to understand proof systems with semantic language internalized. |
---|