Analytic proofs for logics of evidence and truth Documento

• http://www.sa-logic.org/sajl-62.html

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

Visão geral

tipo

• journal article

autores

• Lorenzzo Rodrigues Frade

data de publicação

• 2020-01-01

publicada em

• SOUTH AMERICAN JOURNAL OF LOGIC 

Pesquisas

áreas de investigação

• Lógica
• Lógica Matemática

palavras-chave

• analytic tableau proofs
• logic of first-degree entailment
• logics of evidence and truth
• paracompleteness
• paraconsistency

Identidade

identificador BrCris

• b7bf8582a4e1d41ebbf64b1b6e5a797f

Informação adicional documento

série

• 2

Página Inicial

• 325

página final

• 345

Volume

• 6

Outro

tem linguagem

• Inglês