|
|
Centro de Lógica, Epistemologia e Historia da Ciencia
Produções
Palestras ministradas
Nacionais
1.
|
|
CARNIELLI, Walter (Expositor); RODRIGUES, Abílio (Expositor); Adversus dialetheicus: Sobre uma interpretação intuitiva para as semânticas de valorações das Lógicas da Inconsistência Formal, (Palestra), 11/2013. Seminários GLTA-CLE e Colloquia Logicae, (07/08/2013 a 27/11/2013), Campinas, SP, BRASIL *
|
2.
|
|
CORBALÁN, M. I. (Expositora); Déficit de recursos no cálculo resource-conscious de Lambek, (Palestra), 11/2013. Seminários GLTA-CLE e Colloquia Logicae, (07/08/2013 a 27/11/2013), Campinas, SP, BRASIL *
|
3.
|
|
TESTA, R. R. (Expositor); Revisão de crenças em lógicas paraconsistentes:
Novas perspectivas à justificativa coerentista?, (Seminário), 10/2013. Seminários GLTA-CLE e Colloquia Logicae, (07/08/2013 a 27/11/2013), Campinas, SP, BRASIL *
|
4.
|
|
D'OTTAVIANO, Itala Maria Loffredo (Expositora); Sobre a história da paraconsistência, (Palestra), 05/2013, João Pessoa, PB, BRASIL *
|
5.
|
|
CHOLODOVSKIS, Ana Flávia de Faria (Expositora); LFIs and Non-Monotonicity, (Palestra), 04/2013, Rio de Janeiro, RJ, BRASIL *
|
6.
|
|
GORSKY, S. B. (Expositor); A Simple Solution to Ulam's Game with Lies, (Palestra), 04/2013, Rio de Janeiro, RJ, BRASIL *
|
Internacionais
1.
|
|
CARNIELLI, Walter (Expositor); The kingdom of polynomials: where logic, algebra and probability would meet, (Palestra), 10/2013, Paris, FRANCA *
|
2.
|
|
CARNIELLI, Walter (Expositor); Set theory with consistency and inconsistency predicates, (Palestra), 07/2013, Siena, ITALIA *
|
3.
|
|
CARNIELLI, Walter (Expositora); Polynomials as a Universal Proof Method, (Palestra), 06/2013, Siena, ITALIA *
|
4.
|
|
CARNIELLI, Walter (Expositor); Paraconsistent Description Logics: how Descripition Logics can be more inteligent, (Palestra), 05/2013, Firenze, ITALIA *
|
5.
|
|
CARNIELLI, Walter (Expositor); Evading Gödel's Theorems?, (Palestra), 04/2013. Workshop on hinking an Rationatilty, (05/04/2013 a 05/04/2013), Rio de Janeiro, RJ, BRASIL *
|
6.
|
|
CONIGLIO, Marcelo (Expositor); RODRIGUES, Tarcísio Genaro (Expositor); New Results on mbC and mCi, (Palestra), 04/2013. Workshop on hinking an Rationatilty, (05/04/2013 a 05/04/2013), Rio de Janeiro, RJ, BRASIL *
|
7.
|
|
SILVA, Mariana Matulovic da (Expositora); Polynomials as Universal Tools: Unifying Proofs from Classical to Non-Classical Logics, (Palestra), 04/2013. Workshop on hinking an Rationatilty, (05/04/2013 a 05/04/2013), Rio de Janeiro, RJ, BRASIL *
|
8.
|
|
CARNIELLI, Walter (Expositor); How Description Logics can become more intelligent by supporting contradictions, (Palestra), 03/2013, Luxeemburgo, REINO UNIDO *
|
* Esta produção está associada também a outros órgãos
|
|
