JOURNAL ARTICLE
Construindo Tableaux para Lógica Linear Intuicionista
Abstract
O objetivo deste artigo é construir um Tableaux correto e completo para Lógica Linear Intuicionista por meio de um processo de tradução das regras do Cálculo de Sequentes.
Keywords:
Computer science Algorithm
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
2
Refs
0.07
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Advanced Database Systems and Queries
Physical Sciences → Computer Science → Computer Networks and Communications
Related Documents
JOURNAL ARTICLE
TABLÔS PARA A LÓGICA INTUICIONISTA I1
Pedro Henrique PaiolaHércules Araújo Feitosa
Journal: Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia Year: 2021 Vol: 13 (35)Pages: 268-297
JOURNAL ARTICLE
Lógica intuicionista I1: correção e completude
Pedro Henrique PaiolaHércules de Araújo Feitosa
Journal: C Q D - Revista Eletrônica Paulista de Matemática Year: 2020 Vol: 17 (IC)Pages: 01-11