First-order swap structures semantics for some logics of formal inconsistency
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Informação adicional documento
-
- Outro
-
- Ver todos
-
Visão geral
tipo
data de publicação
publicada em
Pesquisas
áreas de investigação
palavras-chave
-
Estruturas swap
-
Estruturas twist
-
Lógica Paraconsistente
-
Lógica algébrica
-
Lógica de primeira ordem
-
Lógicas da Inconsistência Formal
-
Semânticas não-determinísitcas
-
estruturas swap
-
lógica de primeira ordem
-
lógica paraconsistente
-
matriz não-determinística
-
multiálgebra
Identidade
identificador BrCris
-
9127f816e7dd1a0a481e8b3861c90763
Outro