Sobre quantificadores: uma formalização do quantificador "quase sempre"
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
-
Lógica do Ultrafiltro
-
Lógica modal
-
Lógica modulada
-
Quantificadores generalizados
-
cálculo de sequentes
-
lógica proposicional do 'quase sempre'
-
quantificadores
-
sistema hilbertiano
Identidade
identificador BrCris
-
98906ba7da7830294f83324f5c8d9e96
identificador Capes
-
2012233004110041P1-Publication
identificador Oasisbr
-
UNSP_f6f10eacc2912f386a42f10ec1a5fac9