Elementos algébricos para a noção de 'poucos' e sua formalização em sistemas lógicos dedutivos.
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Conjuntos quase fechados inferiormente
-
Logica proposicional para "poucos"
-
Lógica
-
Lógica modal
-
Modelos algébricos
-
método axiomático
-
tableaux
-
álgebra para "poucos"
Identidade
identificador BrCris
-
1c381e245516ce8a608570d398c1d805
identificador Capes
-
2011133004110041P1-Publication
identificador Oasisbr
-
UNSP_bb34ba73c25e8b931c8ce95210c8a0e8