|
Centro de Lógica, Epistemologia e Historia da Ciencia
Produções / Participação em congressos e outros eventos
Participações em congressos especializados internacionais com trabalhos apresentados
Oralmente
1.
|
|
CONIGLIO, Marcelo E. (Expositor); SANABRIA, Leonardo Prieto (Expositor); 1st joint meeting Brazil-Spain, Fortaleza, 2015, (07/12/2015 a 10/12/2015), Fortaleza, CE, Brasil, Oral:"Modal logic S4 as a paraconsistent logic with a topological semantics". *
|
2.
|
|
BUENO-SOLER, Juliana (Autor); CARNIELLI, Walter A. (Autor); 25 Seminário de Pesquisa da FT: Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição, (15/10/2015 a 15/10/2015), Limeira, SP, Brasil, Oral:"Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição". *
|
3.
|
|
CONIGLIO, Marcelo E. (Expositor); CARNIELLI, Walter A. (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, Brasil, Oral:"From Fidel structures to swap structures for LFIs". *
|
4.
|
|
CONIGLIO, Marcelo E. (Expositor); FÍGALLO, Martín (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, Brasil, Oral:"On a four-valued LFI born from algebra". *
|
5.
|
|
CARNIELLI, Walter A. (Expositor); BUENO-SOLER, Juliana (Expositora); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, Brasil, Oral:"Paraconsistent probability structures over LFIs". *
|
6.
|
|
CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, Brasil, Oral:"Paraconsistency as evidence preservation: a natural deduction approach". *
|
7.
|
|
SILVA, Carolina Blasio da (Expositora); NAT@Logic 2015, (31/08/2015 a 04/09/2015), Natal, RN, Brasil, Oral:"Up the Hill: on the notion of information in logics based on the four-valued bilattice". *
|
8.
|
|
CONIGLIO, Marcelo E. (Expositor); ESTEVA, Francesc (Expositor); LACASA, Lluís Godo (Expositor); IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Florianópolis, SC, Brasil, Oral:"Paraconsistent and explosive intermediate logics between the truth and degree preserving infinite-valued Lukasiewicz logic". *
|
9.
|
|
GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); 9 IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Floraianópolis, SC, Brasil, Oral:"Sobre a História das Hiperestruturas". *
|
10.
|
|
MENDONÇA, Bruno Ramos (Expositor); IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences, (17/08/2015 a 20/08/2015), Florianópolis, SC, Brasil, Oral:"Hintikka normal forms and definitions of semantic information
". *
|
11.
|
|
CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"An epistemic approach to paraconsistency: dealing with evidence and truth". *
|
12.
|
|
RODRIGUES FILHO, Abilio Azambuja (Expositor); CARNIELLI, Walter A. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"What would be a falsitymaker for the principle of non-contradiction?". *
|
13.
|
|
GOLZIO, Ana Cláudia de Jesus (Expositora); CONIGLIO, Marcelo E. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"On non-deterministic algebras". *
|
14.
|
|
RODRIGUES, A. P. (Expositora); DOTTAVIANO, Ítala M. Loffredo (Expositora); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"The Category TrCx and some results". *
|
15.
|
|
OLIVEIRA, Kleidson Ê. Carvalho Silva (Expositor); CONIGLIO, Marcelo E. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Some Results on 3-valued Paraconsistent Logic Programming
". *
|
16.
|
|
DOTTAVIANO, Ítala M. Loffredo (Expositora); GOMES, Evandro Luís (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Vasiliev’s ideas for non-Aristotelian logics:
insight towards paraconsistency". *
|
17.
|
|
SOARES, Marcelo Reicher (Expositor); DOTTAVIANO, Ítala M. Loffredo (Expositora); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Studies on da Costa’s paraconsistent differential calculus
". *
|
18.
|
|
TESTA, R. R. (Expositor); CONIGLIO, Marcelo E. (Expositor); RIBEIRO, Márcio Moretto (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision". *
|
19.
|
|
MENDONÇA, Bruno Ramos (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Logical consequence and measuring of semantic information via distributive normal forms
". *
|
20.
|
|
SILVA, Marcos Augusto Alves da (Expositor); DOTTAVIANO, Ítala M. Loffredo (Expositora); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"A quantitative-informational approach to logical consequence". *
|
21.
|
|
CONIGLIO, Marcelo E. (Expositor); PERON, Newton Marques (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Dugundji’s Theorem". *
|
22.
|
|
ALMEIDA, Edgar Luís Bezerra de (Expositor); FREIRE, Rodrigo de Alvarenga (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Fixing Truth Values for Arithmetical Sentences". *
|
23.
|
|
ALMEIDA, Henrique Antunes (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"A Contextual Definition of an Abstraction Operator in Second-Order Logic". *
|
24.
|
|
FREIRE FILHO, Alfredo Roque de Oliveira (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Foundations of semantic and syntactic proofs in the context
of metatheories
". *
|
25.
|
|
GILBERT, David Robert (Expositor); VENTURI, G. (Expositor); 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, Turquia, Oral:"Reflexive Insensitive Modal Logics". *
|
26.
|
|
BERTATO, F. M. (Expositor); TONIOLO, João Cláudio (Expositor); 1st World Congress on Logic and Religion, (01/04/2015 a 05/04/2015), João Pessoa, PB, Brasil, Oral:"On the logical consistency of Trinity and the triad of Memory, Understanding and Will in the Augustinian system". *
|
27.
|
|
GILBERT, David Robert (Expositor); VENTURI, G. (Expositor); 1st World Congress on Logic and Religion, (01/04/2015 a 05/04/2015), João Pessoa, PB, Brasil, Oral:"Characterizing Logics of Essence and Accident". *
|
28.
|
|
ALMEIDA, Henrique Antunes (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, Brasil, Oral:"On the Ontological Import of Contextual Definitions". *
|
29.
|
|
CONIGLIO, Marcelo E. (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, Brasil, Oral:"Consistency, Contradiction and Negation: a thorough project". *
|
30.
|
|
CARNIELLI, Walter A. (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, Brasil, Oral:"A logic for evidence and truth". *
|
31.
|
|
LEMOS, Pedro Mendes Ferreira (Expositor); Second Workshop CLE-Buenos Aires Logic Group, (31/03/2015 a 03/04/2015), Campinas, SP, Brasil, Oral:"On asserting future contingent". *
|
32.
|
|
MORAES, João Antonio de (Expositor); Jornadas Filosóficas Internacionais de Lisboa, (09/03/2015 a 11/03/2015), Lisboa, Portugal, Oral:"Filosofia da Informação: uma Filosofia para os dias atuais?". *
|
* Esta produção está associada também a outros órgãos
|
|