Systems for Provability and Countermodel Generation in Propositional Minimal Implicational Logic
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
-
Busca de Provas
-
Cálculo de Sequentes
-
Geração de Contra-modelo
-
Lógica
-
Lógica Minimal
-
Lógica Proposicional Minimal Implicaciones
-
Prova Automática de Teoremas
-
Teoria da Prova
Identidade
identificador BrCris
-
b1689c815537f6bd5611a29186bfa69e
identificador Capes