skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Logic Journal of the IGPL remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1084431 )(Acessar)

2
Completeness for cut-based abduction
Completeness for cut-based abduction
Material Type:
Artigo 		Adicionar ao Meu Espaço

Completeness for cut-based abduction

Alexandre Matos Arruda Marcelo Finger; Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL) (16th, 2011, Petrópolis)

Logic Journal of the IGPL Oxford v. 22, n. 2, p. 286-296, 2014

Oxford 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-2454459 )(Acessar)

3
Labelled natural deduction for substructural logics
Labelled natural deduction for substructural logics
Material Type:
Artigo 		Adicionar ao Meu Espaço

Labelled natural deduction for substructural logics

Krysia Broda Marcelo Finger; Alessandra Russo

Logic Journal of the IGPL Oxford v. 7, n. 3, p. 283-318, 1999

Oxford 1999

Localização: IME - Inst. Matemática e Estatística    (PROD-1084431 )(Acessar)

4
AGM-like paraconsistent belief change
AGM-like paraconsistent belief change
Material Type:
Artigo 		Adicionar ao Meu Espaço

AGM-like paraconsistent belief change

Rafael Rodrigues Testa Marcelo Esteban Coniglio; Marcio Moretto Ribeiro

Logic Journal of the IGPL Oxford v. 25, n. 4, p. 632-672, aug. 2017

Oxford 2017

Acesso online

5
Algebraizable logics and a functorial encoding of its morphisms
Algebraizable logics and a functorial encoding of its morphisms
Material Type:
Artigo 		Adicionar ao Meu Espaço

Algebraizable logics and a functorial encoding of its morphisms

Darllan Conceição Pinto Hugo Luiz Mariano

Logic Journal of the IGPL Oxford v. 25, n. 4, p. 524-561, 2017

Oxford 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2855809 )(Acessar)

6
Categorial forms of the axiom of choice
Categorial forms of the axiom of choice
Material Type:
Artigo 		Adicionar ao Meu Espaço

Categorial forms of the axiom of choice

Andreas Bernhard Michael Brunner Hugo Luiz Mariano; Samuel Gomes da Silva

Logic Journal Of The IGPL Oxford v. 25, n. 4, p. 408-430, 2017

Oxford 2017

Localização: IME - Inst. Matemática e Estatística    (PROD-2855741 )(Acessar)

7
Proving properties of binary classification neural networks via Łukasiewicz logic
Proving properties of binary classification neural networks via Łukasiewicz logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Proving properties of binary classification neural networks via Łukasiewicz logic

Sandro Preto Marcelo Finger

Logic Journal of the IGPL Oxford v. 31, n. 5, p. 805-821, 2023

Oxford 2023

Localização: IME - Inst. Matemática e Estatística    (PROD-3082021 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Disponível na Biblioteca (6)
  2. Recursos Online (1)

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Finger, M
  2. Broda, K
  3. Mariano, H
  4. Russo, A
  5. Brunner, A

Neste Assunto:

  1. Lógica Matemática
  2. Álgebra Homológica
  3. Fundamentos Da Matemática
  4. Inteligência Artificial
  5. Teoria Das Categorias

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.