Towards an efficient prover for the C1 paraconsistent logic (2009)
- Authors:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1016/j.entcs.2009.11.007
- Subjects: LÓGICA FORMAL; WEB SEMÂNTICA
- Keywords: tableaux systems; KE system; logic; paraconsistent logics; problem families
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Electronic Notes in Theoretical Computer Science
- ISSN: 1571-0661
- Volume/Número/Paginação/Ano: v. 256, p.87-102, 2009
- Conference titles: Workshop on Logical and Semantic Frameworks, with Applications - LSFA
- Este periódico é de acesso aberto
- Este artigo NÃO é de acesso aberto
-
ABNT
NETO, Adolfo e KAESTNER, Celso A. A. e FINGER, Marcelo. Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.11.007. Acesso em: 21 jan. 2026. , 2009 -
APA
Neto, A., Kaestner, C. A. A., & Finger, M. (2009). Towards an efficient prover for the C1 paraconsistent logic. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.11.007 -
NLM
Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2026 jan. 21 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007 -
Vancouver
Neto A, Kaestner CAA, Finger M. Towards an efficient prover for the C1 paraconsistent logic [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 256 87-102.[citado 2026 jan. 21 ] Available from: https://doi.org/10.1016/j.entcs.2009.11.007 - On the predictability of classical propositional logic
- A logical reconstruction of temporal databases
- Resource use pattern analysis for predicting resource availability in opportunistic grids
- Projeto de dados em bancos de dados distribuidos
- Tagging a morphologically Rich language: the construction of the Tycho Brahe parsed corpus of historical portuguese
- Parsing natural language using LDS: a prototype
- Equal rights for the cut: computable non-analytic cuts in cut-based proofs
- Combinações de lógicas modais não-normais
- Two-dimensional executable temporal logic for bitemporal databases
- Sharing resource-sensitive knowledge using combinator logics
Informações sobre o DOI: 10.1016/j.entcs.2009.11.007 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
