Resultados de 1 a 10 de 23 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (22)
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Tree-sequent calculi and decision procedures for intuitionistic modal logicsGalmiche, Didier ; Salhi, YakoubJournal of logic and computation, 2018-07, Vol.28 (5), p.967-989 [Periódico revisado por pares]Oxford University Press (OUP)Texto completo disponível |
| 2 |
Material Type: Artigo
|
|
On the correspondence between nested calculi and semantic systems for intuitionistic logicsLyon, TimJournal of logic and computation, 2021-01, Vol.31 (1), p.213-265 [Periódico revisado por pares]Texto completo disponível |
| 3 |
Material Type: Artigo
|
|
Unifying F-logic molecules: a rectification to the original unification algorithmBayram, Zeki ; Sharifi, OmidJournal of logic and computation, 2016-06, Vol.26 (3), p.1043-1049 [Periódico revisado por pares]Texto completo disponível |
| 4 |
Material Type: Artigo
|
|
A substructural logic for layered graphsCollinson, M. ; McDonald, K. ; Pym, D.Journal of logic and computation, 2014-08, Vol.24 (4), p.953-988 [Periódico revisado por pares]Texto completo disponível |
| 5 |
Material Type: Artigo
|
|
Unified correspondence and proof theory for strict implicationMa, Minghui ; Zhao, ZhiguangJournal of logic and computation, 2017-04, p.exw012 [Periódico revisado por pares]Texto completo disponível |
| 6 |
Material Type: Artigo
|
|
A labelled sequent calculus for BBI: proof theory and proof searchHóu, Zhé ; Goré, Rajeev ; Tiu, AlwenJournal of logic and computation, 2018-06, Vol.28 (4), p.809-872 [Periódico revisado por pares]Texto completo disponível |
| 7 |
Material Type: Artigo
|
|
A proof-theoretic analysis of the classical propositional matrix methodPym, D. ; Ritter, E. ; Robinson, E.Journal of logic and computation, 2014-02, Vol.24 (1), p.283-301 [Periódico revisado por pares]Texto completo disponível |
| 8 |
Material Type: Artigo
|
|
Relevance and ConjunctionMares, Edwin DJournal of logic and computation, 2012-02, Vol.22 (1), p.7-21 [Periódico revisado por pares]Oxford University PressTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Reducing redundancy in cut-elimination by resolutionPaleo, Bruno WoltzenlogelJournal of logic and computation, 2017-03, Vol.27 (2), p.577-606 [Periódico revisado por pares]Texto completo disponível |
| 10 |
Material Type: Artigo
|
|
Introduction to Cirquent Calculus and Abstract Resource SemanticsJaparidze, GiorgiJournal of logic and computation, 2006-08, Vol.16 (4), p.489-532 [Periódico revisado por pares]Oxford: Oxford University PressTexto completo disponível |
Resultados de 1 a 10 de 23 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (22)
Refinar Meus Resultados
Assunto
- Computer Science (22)
- Computer Science, Theory & Methods (22)
- Science & Technology (22)
- Technology (22)
- Science & Technology - Other Topics (22)
- Sequent Calculus (5)
- Semantics (4)
- Logic Programming (4)
- Cut-Elimination (3)
- Computation (3)
- Cirquent Calculus (2)
- Argumentation (2)
- Mathematical Analysis (2)
- Classical Logic (2)
- Deduction (2)
- Resource Semantics (2)
- Mathematical Models (2)
- Computability Logic (2)
-
Mais opções
Data de Publicação
- Antes de1998 (3)
- 1998Até2004 (3)
- 2005Até2007 (4)
- 2008Até2012 (6)
- Após 2012 (8)
-
Mais opções
Base de Dados/Biblioteca
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 