Preview | Issue Date | Title | Author(s) | Advisor | Type |
| 2010 | Sobre os fundamentos de programação lógica paraconsistente | Rodrigues, Tarcísio Genaro | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2004 | Semantica algebrica de traduções possiveis | Bueno-Soler, Juliana, 1976- | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2011 | Uma nova abordagem para a noção de quase-verdade | Silvestrini, Luiz Henrique da Cruz | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2005 | Fibrilação de logicas na hierarquia de Leibniz | Fernández, Victor Leandro | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2008 | Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis | Reis, Teofilo de Souza | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2009 | Logicas da inconsistencia deontica | Peron, Newton Marques, 1982- | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2007 | Representação e combinação de logicas : questões conceituais | Batista Neto, Alberto Leopoldo | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2017 | Programação lógica paraconsistente em lógicas três e quatro valoradas | Oliveira, Kleidson Êglicio Carvalho da Silva, 1987- | Coniglio, Marcelo Esteban, 1963- | TESE DIGITAL |
| 2012 | Conectivos de restauração local | Corbalán, María Inés, 1978- | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2018 | From generative linguistics to categorial grammars = overt subjects in control infinitives = Da linguística gerativa à gramática categorial : sujeitos lexicais em infinitivos controlados | Corbalán, María Inés, 1978- | Coniglio, Marcelo Esteban, 1963- | TESE DIGITAL |
| 2008 | Dilemas deonticos : uma abordagem baseada em relações de preferencia | Testa, Rafael Rodrigues, 1982- | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2017 | Non-deterministic matrices = theory and applications to algebraic semantics = Non-deterministic matrices: theory and applications to algebraic semantics | Golzio, Ana Claudia de Jesus, 1985- | Coniglio, Marcelo Esteban, 1963- | TESE DIGITAL |
| 2001 | Semantica categorial generalizada | Sbardellini, Luis Augusto | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2014 | Revisão de Crenças Paraconsistente baseada em um operador formal de consistência | Testa, Rafael Rodrigues, 1982- | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2001 | Semantica de sociedades para logicas n-valentes | Fernández, Victor Leandro | Coniglio, Marcelo Esteban, 1963- | DISSERTAÇÃO |
| 2006 | Uma investigação acerca das regras para a negação e o absurdo em dedução natural | Sanz, Wagner de Campos | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2014 | (In)completude modal por (N)matrizes finitas | Peron, Newton Marques, 1982- | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2005 | O continuum, os reais e o conceito de homogeneidade | Sbardellini, Luis Augusto | Coniglio, Marcelo Esteban, 1963- | TESE |
| 2019 | Noções de localidade de lógicas baseadas em categorias modelo de Quillen sobre estruturas finitas : Quillen model categories-based notions of locality of logics over finite structures | Maia, Hendrick, 1981- | Coniglio, Marcelo Esteban, 1963- | TESE DIGITAL |