Analytic methods for the logic of proofs (2010)
- Autor:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1093/logcom/exn065
- Assunto: LÓGICA COMBINATÓRIA
- Language: Inglês
- Imprenta:
- Source:
- Título: Journal of Logic and Computation
- ISSN: 0955-792X
- Volume/Número/Paginação/Ano: v. 20, n. 1, p. 167-188, 2010
- Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16
- Status:
- Artigo possui acesso gratuito no site do editor (Bronze Open Access)
- Versão do Documento:
- Versão publicada (Published version)
- Acessar versão aberta:
-
ABNT
FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 02 abr. 2026. , 2010 -
APA
Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065 -
NLM
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2026 abr. 02 ] Available from: https://doi.org/10.1093/logcom/exn065 -
Vancouver
Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2026 abr. 02 ] Available from: https://doi.org/10.1093/logcom/exn065 - Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Sharing resource-sensitive knowledge using combinator logics
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Advances in weighted logics for artificial intelligence. [Editorial]
- Previsão da temática de notícias futuras: implementação do algoritmo PROPHET a dados de um jornal de grande circulação
- The 11th International Symposium on Frontiers of Combining Systems (FroCoS) was held 27–29th September 2017 at the University of Brasília... [Prefácio]
- Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
- Electronic Notes in Theoretical Computer Science
- A logical reconstruction of temporal databases
- On the predictability of classical propositional logic
Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).
Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
