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
|
![]() |
Fibring and sheavesPeter Arndt R. A Freire; Odilon Otavio Luciano; Hugo Luiz MarianoCLE e-Prints Campinas v. 5, n. 10, p. 1-20, 2005Campinas 2005Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo
|
![]() |
On the category of algebraizable logicsPeter Arndt R. A Freire; Odilon Otavio Luciano; Hugo Luiz MarianoCLE E-Prints Campinas v. 6, n. 1, p. 1-24, 2006Campinas 2006Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Artigo de Congresso
|
![]() |
The von Neumann-regular hull of (preordered) rings and quadratic formsPeter Arndt Hugo Luiz Mariano; Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday (2016 São Paulo)South American Journal of Logic Campinas v. 2, n. 2, p. 201-244, 2016Campinas 2016Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Artigo de Congresso
|
![]() |
κ-filter pairs and non-finitary logicsPeter 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, 2018Vichy Vichy University 2018Acesso online. A biblioteca também possui exemplares impressos. |
6 |
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. |
7 |
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. |
8 |
Material Type: Artigo de Congresso
|
![]() |
Filter pairs a new way of presenting logicsPeter 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, 2018Vichy Vichy University 2018Acesso online. A biblioteca também possui exemplares impressos. |