4 Resultados para Produção Intelectual da USP
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 (3)
Refinado por:
assunto:
Lógica Algébrica
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Horn filter pairs and Craig interpolation in propositional logicPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoBoletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023Bogota 2023Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Artigo
|
|
Filter pairs and natural extensions of logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição PintoArchive for Mathematical Logic Berlin v. 62, n. 1-2, p. 113-145, 2023Berlin 2023Localização: IME - Inst. Matemática e Estatística (PROD-3114915 )(Acessar) |
| 3 |
Material Type: Artigo de Congresso
|
|
Horn filter pairs and Craig interpolation propertyPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL) (19. 2019 João Pessoa)Book of Abstracts João Pessoa : EDUFCG, 2019João Pessoa EDUFCG 2019Acesso online. A biblioteca também possui exemplares impressos. |
| 4 |
Material Type: Artigo de Congresso
|
|
Finitary filter pairs and propositional logicsPeter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto; Brazilian Logic Conference - EBL (18. (2017 Pirenópolis, Goiás)South American Journal of Logic Campinas v. 4, n. 2, p. 257–280, 2018Campinas 2018Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
- Recursos Online (3)
Refinar Meus Resultados
Assunto
Autor/Criador
Nome da Publicação
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 