Lógica da Dedutibilidade: o axioma modal B e adjunções Documento

• doi:10.14393/bejom-v2-n3-2021-54740
• http://dx.doi.org/10.14393/BEJOM-v2-n3-2021-54740
• http://dx.doi.org/10.14393/bejom-v2-n3-2021-54740

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• Cristiane Alexandra Lázaro
• Hércules de Araujo Feitosa
• Marcelo Reicher Soares

data de publicação

• 2020-01-01

publicada em

• BRAZILIAN ELECTRONIC JOURNAL OF MATHEMATICS (BEJOM) 

Pesquisas

áreas de investigação

• Logica Algébrica
• Lógica e Fundamentos da Matemática

palavras-chave

• Adjunção
• Algebraic model
• Axioma B
• Espaços quase topológicos
• Logic of deductibility
• Lógica TK
• Matemática discreta
• Modal logics
• Pares de Galois

Identidade

identificador BrCris

• 6177417e7b59d176d6149caf1cbb1d77

Informação adicional documento

série

• 3

Página Inicial

• 52

página final

• 69

Volume

• 2

Outro

tem linguagem

• Português