Two deductions systems for the logic PM4N Documento

• http://dx.doi.org/10.22481/intermaths.v3i2.11378
• https://periodicos2.uesb.br/index.php/intermaths/article/view/11378/7288][doi:10.22481/intermaths.v3i2.11378
• https://periodicos2.uesb.br/index.php/intermaths/issue/view/509][doi:10.22481/intermaths.v3i2.11378

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

Visão geral

tipo

• journal article

autores

• Hércules de Araujo Feitosa
• Marcelo Reicher Soares

data de publicação

• 2022-01-01

publicada em

• INTERMATHS - Revista de Matemática Aplicada e Interdisciplinar 

Pesquisas

áreas de investigação

• Aspectos Teóricos e Filosóficos da Lógica

palavras-chave

• Calculus of Sequents
• Deduction systems
• Many-valued logics
• Modal logics
• Tableaux
• tableaux

Identidade

identificador BrCris

• 56c39b9b822cda9240b6aa4236ce02a1

Informação adicional documento

série

• 2

Página Inicial

• 38

página final

• 55

Volume

• 3

Outro

tem linguagem

• Português