|
|
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.
|
|
CARNIELLI, Walter (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, Escócia, Oral:"Combining Logics by Means of Possible-Translation Semantics and Society Semantics". *
|
2.
|
|
CARNIELLI, Walter (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, Escócia, Oral:"Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?". *
|
3.
|
|
CARNIELLI, Walter (Expositor); ILIAS Seminars- ICR- Universidade de Luxembutgo, (09/10/2008 a 09/10/2008), Luxemburgo, Luxemburgo, Oral:"Possible-Translations Semantics and Logics of Formal Inconsistency". *
|
4.
|
|
CARNIELLI, Walter (Expositor); Logic Tea, (20/10/2008 a 20/10/2008), Amsterdam, Holanda, Oral:"Sewing Logics Together: the possible-translations semantics and new meanings for old logics". *
|
5.
|
|
CARNIELLI, Walter (Expositor); First International Workshop on Foundations of Computer Science as Logic-Related, (30/08/2008 a 30/08/2008), Istanbul, Turquia, Oral:"Computability: Logic versus Physics". *
|
6.
|
|
BUENO, J. (Autor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, Brasil, Oral:"Possible-Translations Semantics for Cathodic Modal Logics". *
|
7.
|
|
CARNIELLI, Walter (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, Brasil, Oral:"Minimal axiomatizations and algebrais rings: a conjectured relationship". *
|
8.
|
|
CARNIELLI, Walter (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, Brasil, Oral:"Falsifying a conjectura of Paul Erdös". *
|
9.
|
|
CARNIELLI, Walter (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, Brasil, Oral:"Paraconsistency aspects and quantum indiscernibility". *
|
Poster
1.
|
|
CARNIELLI, Walter (Expositor); QICS Workshop on Foundational Structures for Quantum Information and Computation, (14/09/2008 a 20/09/2008), Obergurgl, Austria, Poster:"Is quantum computation logic-dependent?". *
|
* Esta produção está associada também a outros órgãos
|
|
