Sistemas de lógica modal em dedução natural
Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. Th...
Na minha lista:
Autor principal: | Costa, David Gomes |
---|---|
Outros Autores: | Medeiros, Maria da Paz Nunes de |
Formato: | Dissertação |
Idioma: | por |
Publicado em: |
Universidade Federal do Rio Grande do Norte
|
Assuntos: | |
Endereço do item: | https://repositorio.ufrn.br/jspui/handle/123456789/16476 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Sistemas de lógica modal em dedução natural/
por: Costa, David Gomes., et al.
Publicado em: (2022) -
Natural deduction, hybrid systems and modal logics /
por: Indrzejczak, Andrzej.
Publicado em: (2022) -
Modalities and multimodalities /
por: Carnielli, Walter A., et al.
Publicado em: (2022) -
Modal logics and philosophy /
por: Girle, Rod.
Publicado em: (2022) -
Mathematics of modality /
por: Goldblatt, Robert.
Publicado em: (2022)