skip to main content
Idioma:
Refinado por: autor: World Congress and School on Universal Logic remover nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraizable logics and a functorial encoding of its morphisms
Algebraizable logics and a functorial encoding of its morphisms
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Algebraizable logics and a functorial encoding of its morphisms

Darllan Conceição Pinto Hugo Luiz Mariano; World Congress and School on Universal Logic (5. 2015 Istanbul, Turkey)

Handbook of the 5th World Congress and School on Universal Logic Istanbul: Turkish Logic Society 2015

Istanbul Turkish Logic Society 2015

Acesso online. A biblioteca também possui exemplares impressos.

2
Filter pairs a new way of presenting logics
Filter pairs a new way of presenting logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Filter pairs a new way of presenting logics

Peter Arndt Ramon Jansana; Hugo Luiz Mariano; Darllan Conceição Pinto; World Congress and School on Universal Logic (6. 2018 Vichy, France)

Handbook of abstracts Vichy: Vichy University, 2018

Vichy Vichy University 2018

Acesso online. A biblioteca também possui exemplares impressos.

3
An abstract approach to algebraizable logics with quantifiers
An abstract approach to algebraizable logics with quantifiers
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

An abstract approach to algebraizable logics with quantifiers

Caio de Andrade Mendes Hugo Luiz Mariano; World Congress and School on Universal Logic (6. 2018 Vichy, France)

Handbook of abstracts Vichy: Vichy University, 2018

Vichy Vichy University 2018

Acesso online. A biblioteca também possui exemplares impressos.

4
κ-filter pairs and non-finitary logics
κ-filter pairs and non-finitary logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

κ-filter pairs and non-finitary logics

Peter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; World Congress and School on Universal Logic (6. 2018 Vichy, France)

Handbook of abstracts Vichy: Vichy University, 2018

Vichy Vichy University 2018

Acesso online. A biblioteca também possui exemplares impressos.

5
Beyond the categorial forms of the axiom of choice
Beyond the categorial forms of the axiom of choice
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Beyond the categorial forms of the axiom of choice

Andreas Bernhard Michael Brunner Darllan Conceição Pinto; Samuel Gomes da Silva; Hugo Luiz Mariano; World Congress and School on Universal Logic (6. 2018 Vichy, France)

Handbook of abstracts Vichy: Vichy University, 2018

Vichy Vichy University 2018

Acesso online. A biblioteca também possui exemplares impressos.

6
Representation theory of logics a categorial approach
Representation theory of logics a categorial approach
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Representation theory of logics a categorial approach

Darllan Conceição Pinto Hugo Luiz Mariano; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)

Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013

Rio de Janeiro UNILOG 2013

Acesso online. A biblioteca também possui exemplares impressos.

7
Belief revision in description logics with tipicality
Belief revision in description logics with tipicality
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Belief revision in description logics with tipicality

José David Fernandez Curado Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)

Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013

Rio de Janeiro UNILOG 2013

Acesso online. A biblioteca também possui exemplares impressos.

8
Revising formal program specifications using KMTS
Revising formal program specifications using KMTS
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising formal program specifications using KMTS

Paulo de Tarso Guerra Oliveira Aline Andrade; Renata Wassermann; World Congress and School on Universal Logic (4. 2013 Rio de Janeiro, Brasil)

Handbook of the 4th World Congress and School on Universal Logic Rio de Janeiro : UNILOG, 2013

Rio de Janeiro UNILOG 2013

Acesso online. A biblioteca também possui exemplares impressos.

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Autor/Criador 

  1. Mariano, H  (6)
  2. Pinto, D  (5)
  3. Arndt, P  (2)
  4. Wassermann, R  (2)
  5. Mendes, C  (1)
  6. Jansana, R  (1)
  7. Brunner, A  (1)
  8. Silva, S  (1)
  9. Andrade, A  (1)
  10. Curado, J  (1)
  11. Oliveira, P  (1)
  12. Mais opções open sub menu

Data de Publicação 

De até
Refinar

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. World Congress and School on Universal Logic
  2. Mariano, H
  3. Pinto, D
  4. Arndt, P
  5. Wassermann, R

Neste Assunto:

  1. Lógica Matemática
  2. Representação De Conhecimento

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

Buscando em bases de dados remotas. Favor aguardar.