CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Recovery operators, paraconsistency and duality, 10/2020, Logic Journal of the IGPL (Print), Vol. 28, Fac. 5, pp.624-656, Oxford, INGLATERRA, 2020
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Twist-Valued Models for Three-Valued Paraconsistent Set Theory, 08/2020, Logic and Logical Philosophy, pp.1-40, Torun, POLONIA, 2020
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; FUENMAYOR, David; Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account, 03/2020, CLE e-Prints (Online), Vol. 19, Fac. 3, pp.1-42, Campinas, SP, BRASIL, 2020
|
MENDONÇA, Bruno Ramos; CARNIELLI, Walter A.; Fraïssé?s theorem for logics of formal inconsistency, 11/2018, Logic Journal of the IGPL (Print), Vol. 38, pp.87-95, Oxford, INGLATERRA, 2018
|
CARNIELLI, Walter A.; PULCINI, G.; Cut-elimination and deductive polarization in complementary classical logic. WA Carnielli, G Pulcini. Logic Journal of the IGPL 25 (3), 273-282, 2017. 1, 2017., 06/2017, Logic Journal of the IGPL (Print), Vol. 25, pp.273-282, Oxford, INGLATERRA, 2017
|
CARNIELLI, Walter A.; LIMA-MARQUES, Mamede; Society semantics and the logic way to collective intelligence, 01/2017, Journal of Applied Non-Classical Logics, Vol. 27, Fac. 3-4, pp.255-268, Paris, FRANCA, 2017
|
CARNIELLI, Walter A.; Sound probabilistic reasoning under contradiction, inconsistency and incompleteness, 01/2017, Logiko-filosofskie Shtudii, Vol. 13, pp.15-24, São Petersburgo, RUSSIA, 2017
|
BUENO-SOLER, Juliana; CARNIELLI, Walter A.; Paraconsistent Probabilities: Consistency, Contradictions and Bayes? Theorem, 09/2016, Entropy (Basel. Online), Vol. 18, Fac. 9, pp.325-342, Basel, SUICA, 2016
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistent set theory by predicating on consistency, 02/2016, Journal of Logic and Computation (Print), Vol. 26, Fac. 1, pp.97-116, Oxford, REINO UNIDO, 2016
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; A logic for evidence and truth, 10/2015, CLE e-Prints (Online), Vol. 15, pp.1-31, Campinas, SP, BRASIL, 2015
|
CARNIELLI, Walter A.; PULCINI, G.; Cuts and cut-elimination for complementary classical logic, 10/2015, CLE e-Prints (Online), Vol. 15, pp.1-9, Campinas, SP, BRASIL, 2015
|
AGUDELO, J. C. A.; CARNIELLI, Walter A.; Polynomial ring calculus for modalities, 10/2015, Journal of Logic and Computation (Print), Oxford, REINO UNIDO, 2015
|
CARNIELLI, Walter A.; Some natural generalizations of the Collatz problem, 03/2015, Applied Mathematics E - Notes, Vol. 15, pp.207-215, Hsinchu, TAIWAN, 2015
|
CARNIELLI, Walter A.; MARIANO, H. L.; SILVA, Mariana Matulovic da; Reconciling first-order logic to algebra, 02/2015, CLE e-Prints (Online), Vol. 15, pp.1-26, Campinas, SP, BRASIL, 2015
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; PODIACKI, Rodrigo; RODRIGUES, Tarcísio Genaro; ON THE WAY TO A WIDER MODEL THEORY: COMPLETENESS THEOREMS FOR FIRST-ORDER LOGICS OF FORMAL INCONSISTENCY, 09/2014, The Review of Symbolic Logic, Vol. 7, Fac. 03, pp.548-578, Cambridge, REINO UNIDO, 2014
|
CARNIELLI, Walter A.; SILVA, Mariana Matulovic da; Non-deterministic Semantics in Polynomial Format, 07/2014, Electronic Notes in Theoretical Computer Science, Vol. 305, pp.19-34, New York, ESTADOS UNIDOS DA AMERICA, 2014
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Swap Structures for LFIs, 03/2014, CLE e-Prints (Online), Vol. 14, pp.1-39, Campinas, SP, BRASIL, 2014
|
CAMINADA, Martin W. A.; CARNIELLI, Walter A.; DUNNE, Paul E.; Semi-stable semantics, 10/2012, Journal of Logic and Computation (Print), Vol. 22, pp.1207-1254, Oxford, REINO UNIDO, 2012
|
CAMINADA, Martin W. A.; CARNIELLI, Walter A.; DUNNE, Paul E.; Semi-stable semantics, 08/2012, Journal of Logic and Computation (Print), Vol. 22, pp.1207-1254, Oxford, REINO UNIDO, 2012
|
CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic, 06/2012, Logica Universalis (Print), Vol. 1, pp.1-5, Basel, SUICA, 2012
|
CARNIELLI, Walter A.; ARAÚJO, A.; Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning, 02/2012, Logic Journal of the IGPL (Print), Vol. 20, pp.477-485, Oxford, INGLATERRA, 2012
|
CARNIELLI, Walter A.; CAROLINO, Pietro K.; Adjusting a Conjecture of Erdös, 06/2011, Contributions to Discrete Mathematics, Vol. 6, Fac. 1, pp.154-159, Calgary, CANADA, 2011
|
CARNIELLI, Walter A.; Polynomial ring calculus for modal logics: a new semantics and proof method for modalities, 05/2011, The Review of Symbolic Logic, Vol. 1, pp.150-170, Cambridge, REINO UNIDO, 2011
|
CARNIELLI, Walter A.; The Single-minded Pursuit of Consistency and its Weakness, 02/2011, Studia Logica, Vol. 97, pp.81-100, Dordrecht, HOLANDA, 2011
|
CARNIELLI, Walter A.; Adjusting a Conjecture of Erdõs (NO PRELO), 11/2010, Contributions to Discrete Mathematics, Vol. 1, pp.38-43, Calgary, CANADA, 2010
|
CARNIELLI, Walter A.; The single-minded pursuit of consistency and its weakness, 11/2010, Studia Logica, Vol. 1, pp.81-100, Dordrecht, HOLANDA, 2010
|
CARNIELLI, Walter A.; Non-standard numbers: a semantic obstacle for modeling arithmetical reasoning (NO PRELO), 08/2010, Logic Journal of the IGPL (Print), Vol. 1, pp.59-64, Oxford, INGLATERRA, 2010
|
CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic (NO PRELO), 08/2010, Logica Universalis (Print), Vol. 1, pp.72-77, Basel, SUICA, 2010
|
CARNIELLI, Walter A.; Paraconsistent Machines and their Relation to Quantum Computing, 04/2010, Journal of Logic and Computation (Print), Vol. 20, pp.573-595, Oxford, REINO UNIDO, 2010
|
OLIVEIRA, I. C.; CARNIELLI, Walter A.; Erratum to "The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories", 12/2009, Logic Journal of the IGPL (Print), Vol. 17, pp.803-804, Oxford, INGLATERRA, 2009
|
DOTTAVIANO, Ítala M. Loffredo; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; New dimensions on translations between logics, 06/2009, Logica Universalis (Print), Vol. 1, pp.75-93, Basel, SUICA, 2009
|
CARNIELLI, Walter A.; Interpolation via translations, 01/2009, Reports on Mathematical Logic, Vol. 55, Fac. 5, pp.515-534, Krakow, POLONIA, 2009
|
CARNIELLI, Walter A.; Modulated logics and flexible reasoning, 01/2009, Logic and Logical Philosophy, Vol. 1, pp.12-36, Torun, POLONIA, 2009
|
CARNIELLI, Walter A.; The Ricean objection: an analogue of Rice's Theorem for first-order theories, 11/2008, Logic Journal of the IGPL (Print), Vol. 1, pp.1-6, Oxford, INGLATERRA, 2008
|
CARNIELLI, Walter A.; RASGA, João; SERNADAS, Cristina; Preservation of interpolation features by fibring, 02/2008, Journal of Logic and Computation (Print), Vol. 18, Fac. 1, pp.123-151, Oxford, REINO UNIDO, 2008
|
CARNIELLI, Walter A.; Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole, 07/2007, International Journal on Computational Intelligence and Applications, Vol. 64, pp.349-364, London, REINO UNIDO, 2007
|
CARNIELLI, Walter A.; Surviving Abduction, 08/2006, Logic Journal of the IGPL (Print), Vol. 14(2), pp.237-256, Oxford, INGLATERRA, 2006
|
CARNIELLI, Walter A.; Tableaux sin Refutación, 06/2006, Matematica Enseñanza Universitaria, Vol. 13, Fac. 2, pp.81-99, Cali, COLOMBIA, 2006
|
CARNIELLI, Walter A.; Anti-intuitionism and paraconsistency, 10/2005, Journal of Applied Non-Classical Logics, Vol. 3, Fac. 1, pp.161-184, Paris, FRANCA, 2005
|
CARNIELLI, Walter A.; Computer Society, 10/2005, Casa Publicadora, Vol. 1, pp.85-89, São Paulo, SP, BRASIL, 2005
|
CARNIELLI, Walter A.; Fibring Non-Truth-Functional Logics: completeness Preservation, 10/2003, Journal of Logic, Language and Information, Vol. 1, Fac. 1, pp.183-211, Dordrecht, HOLANDA, 2003
|
CARNIELLI, Walter A.; Segmentation of breast tumors in mammograms using fuzzy sets, 10/2003, Journal of Electronic Imaging (Print), Vol. 1, Fac. 1, pp.369-378, Bellingham, ESTADOS UNIDOS DA AMERICA, 2003
|
CARNIELLI, Walter A.; Belief revision for non-classical logics, 01/2002, The Bulletin of Symbolic Logic, Vol. 8, Fac. 1, pp.129-130, Urbana, IL, ESTADOS UNIDOS DA AMERICA, 2002
|
CARNIELLI, Walter A.; Transfers between logics and their applications, 01/2002, Studia Logica, Vol. 72, Fac. 3, pp.367-400, Dordrecht, HOLANDA, 2002
|
CARNIELLI, Walter A.; K2, 2-K1, n and k2, n bipartite ramsey numbers, 10/2000, Discrete Mathematics, Vol. x, pp.83-94, Amsterdam, HOLANDA, 2000
|
CARNIELLI, Walter A.; The dialogical approach to paraconsistency, 10/2000, Synthese: an international journal for epistemology, methodology and philosophy of science, Vol. x, pp.201-221, Dordrecht, HOLANDA, 2000
|
CARNIELLI, Walter A.; Formal Inconsistency and Evolutionary, 04/2000, Logic and Logical Philosophy, Vol. 8, pp.115-152, Torun, POLONIA, 2000
|
CARNIELLI, Walter A.; On the Ramsey probem for multicolor Bipartite Graphs., 06/1999, Advances in Applied Mathematics (Print), Vol. 22, pp.48-59, San Diego, ESTADOS UNIDOS DA AMERICA, 1999
|
CARNIELLI, Walter A.; Admissibility of logical inference rules, 04/1998, Mat. Sci. Eng., Vol. 136, Amsterdam, HOLANDA, 1998
|
DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; WRIGLEY, Michael B.; XI Brazilian Conference on Mathematical Logic, 05/1997, Bulletin of the IGPL, Vol. 1, pp.441-478, Oxford University Press, REINO UNIDO, 1997
|
DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; ALVES, E. H.; The Center for Logic in Campinas and the Development of Logic in Brazil, 12/1996, Logique et Analyse, Vol. 153, Fac. 4, pp.15-29, Wilsele, BELGICA, 1996
|
CARNIELLI, Walter A.; SETTE, Antonio Mario A.; Maximal weakly-intuitionistic logics, 06/1995, Studia Logica, Vol. 55, pp.181-203, Dordrecht, HOLANDA, 1995
|
CARNIELLI, Walter A.; SETTE, Antonio Mario A.; Default Operators, 01/1995, Bulletin of the IGPL, Vol. 3, Fac. 1, Oxford University Press, REINO UNIDO, 1995
|
CARNIELLI, Walter A.; On Sequents and Tableaux for Many-Valued Logics, 06/1992, The Journal of Non-Classical Logic, Vol. 0008, Fac. 000001, pp.59-76, Campinas, SP, BRASIL, 1992
|
CARNIELLI, Walter A.; Hyper-Rook Domain Inequalities, 12/1990, Studies in Applied Mathematics, Vol. 082, Fac. 01, pp.1-12, New York, N.Y., ESTADOS UNIDOS DA AMERICA, 1990
|
CARNIELLI, Walter A.; BARRIO, Eduardo Alejandro; New advances in Logics of Formal Inconsistency, 01/2019, Logic Journal of the IGPL (Online), Vol. 2, pp.9-12, Oxford, REINO UNIDO, 2019
|
CARNIELLI, Walter A.; O sujeito e a lógica: negação, contradição e consistência como instrumentos da razão, 09/2017, Revista Linguagem, Vol. 3, pp.52-69, São Paulo, SP, BRASIL, 2017
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Formal Plenitude and Curry's Paradox: Sketch of a Non-Hierarchical Theory for Arithmetical Truth, 01/2017, Coleção CLE (UNICAMP), Vol. 1, pp.1-17, Campinas, SP, BRASIL, 2017
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY, 12/2015, Manuscrito (UNICAMP), Vol. 38, Fac. 2, pp.155-184, Campinas, SP, BRASIL, 2015
|
CARNIELLI, Walter A.; On discourses addressed by infidel logicians, 08/2011, O Que nos Faz Pensar (PUCRJ), Vol. 1, pp.89-94, Rio de Janeiro, RJ, BRASIL, 2011
|
CARNIELLI, Walter A.; Meeting Hintikka's Challenge to Paraconsistentism, 12/2009, Principia (UFSC), Vol. 13, pp.283-297, Florianópolis, SC, BRASIL, 2009
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Aristóteles, Paraconsistentismo e a Tradição Budista, 06/2008, O Que nos Faz Pensar (PUCRJ), Vol. 1, Fac. 23, pp.163-175, Rio de Janeiro, RJ, BRASIL, 2008
|
CARNIELLI, Walter A.; Possible-translations algebrization for paraconsistent logics, 10/2005, University of Lodz. Department of Logic. Bulletin of the Section of Logic, Vol. 34, Fac. 2, pp.72-78, Lodz, POLONIA, 2005
|
CARNIELLI, Walter A.; Le logica impecabile del irrational, 09/2005, Revista Eletrônica Informação e Cognição, Vol. 4, pp.61-73, Marilia, SP, BRASIL, 2005
|
BUENO-SOLER, Juliana; CARNIELLI, Walter A.; Possible-translations Algebraization for Paraconsistent Logics, 06/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 6, pp.1-13, Campinas, SP, BRASIL, 2005
|
CARNIELLI, Walter A.; Polynomial Ring Calculus for Logical Inference, 03/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 3, pp.1-17, Campinas, SP, BRASIL, 2005
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; ALMEIDA, João Marcos; Logics of Formal Inconsistency, 02/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 1, pp.1-82, Campinas, SP, BRASIL, 2005
|
CARNIELLI, Walter A.; GRÁCIO, M. C. C.; Modulated Logics and Uncertain Reasoning, 02/2005, CLE e-Prints (Impresso), Vol. 5, Fac. 2, pp.1-34, Campinas, SP, BRASIL, 2005
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; CUNHA, Denise; An incoherence in the AGM theory?, 12/2004, Coleção CLE (UNICAMP), Vol. 39, pp.107-117, Campinas, SP, BRASIL, 2004
|
MANZOLLI, Jônatas; CARNIELLI, Walter A.; VALLE, Raul do; MAIA JUNIOR, Adolfo; Non-Sequitur: Colagem Sonoro-visual para um Encontro entre Lógica e Música, 03/2004, Multiciência (UNICAMP), Vol. 2, pp.1-12, Campinas, SP, BRASIL, 2004
|
BRUNNER, Andreas; CARNIELLI, Walter A.; Anti-Intuitionism and Paraconsistency, 03/2003, CLE e-Prints (Impresso), Vol. 3, Fac. 1, pp.1-20, Campinas, SP, BRASIL, 2003
|
CARNIELLI, Walter A.; How to build your own paraconsistent logic on introduction to the Logics of Formal (In)Consistency, 07/2002, CLE e-Prints (Impresso), Vol. 2, Fac. 7, pp.1-15, Campinas, SP, BRASIL, 2002
|
CARNIELLI, Walter A.; VELOSO, Paulo; Logics for Qualitative Reasoning, 10/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 3, pp.1-35, Campinas, SP, BRASIL, 2001
|
SERNADAS, Cristina; RASGA, João; CARNIELLI, Walter A.; Modulated Fibring and the Collapsing Problem, 10/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 2, pp.1-34, Campinas, SP, BRASIL, 2001
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; SERNADAS, Amílcar; SERNADAS, Cristina; Fibring Non-Truth-Functional Logics: Completeness Preservation, 08/2001, CLE e-Prints (Impresso), Vol. 1, Fac. 1, pp.1-23, Campinas, SP, BRASIL, 2001
|
CARNIELLI, Walter A.; A Categorial Aporoach to the Combination of Logics., 03/1999, Manuscrito (UNICAMP), Vol. 22, pp.64-94, Campinas, SP, BRASIL, 1999
|
CARNIELLI, Walter A.; EPSTEIN, R. L.; Propositional Logics, 12/1990, Coleção CLE (UNICAMP), Vol. 01, Campinas, SP, BRASIL, 1990
|
CARNIELLI, Walter A.; A probabilistic approach to evidence and truth: On paraconsistency, probability, and evidence, 10/2018, Científico Internacional, Logic Bochum IV including the 4th workshop on conexive logics, Vol. 1, pp.1-2, Bochum, ALEMANHA, 2018
|
CARNIELLI, Walter A.; Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning, 06/2018, Científico Internacional, First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, Vol. 1, pp.1-2, Dresden, ALEMANHA, 2018. Resumo expandido
|
CARNIELLI, Walter A.; Contradictory and inconsistent sets, Zermelian set theory, and forcing, 10/2017, Científico Internacional, Fourth International meeting of the APMP, Vol. 1, pp.20-21, Salvador, BA, BRASIL, 2017
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; An epistemic approach to paraconsistency, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.35-35, Pirenopolis, GO, BRASIL, 2017
|
CARNIELLI, Walter A.; Possibility theory, evidence and uncertainty, 05/2017, Científico Internacional, XVIII EBL - 18th Brazilian Logic Conference, Vol. 1, pp.116-116, Pirenopolis, GO, BRASIL, 2017
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; An epistemic approach to paraconsistency: dealing with evidence and truth, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. 1, pp.133-134, Istanbul, TURQUIA, 2015
|
RODRIGUES FILHO, Abilio Azambuja; CARNIELLI, Walter A.; What would be a falsitymaker for the principle of non-contradiction?, 06/2015, Científico Internacional, 5th World Congress and School on Universal Logic, Vol. ., pp.145-146, Istanbul, TURQUIA, 2015
|
CARNIELLI, Walter A.; A logic for evidence and truth, 04/2015, Científico Internacional, Second Workshop CLE-Buenos Aires Logic Group, Vol. ., pp.1-1, Campinas, SP, BRASIL, 2015
|
CARNIELLI, Walter A.; Proofs by handling polynomials: a tool for teaching logic and metalogic, 06/2011, Científico Internacional, Third International Congress on Tools for Teaching Logic, Vol. 1, pp.1-3, Salamanca, ESPANHA, 2011
|
CARNIELLI, Walter A.; Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?, 08/2010, Científico Internacional, 3th International Workshop on Physics and Computation, Vol. 1, pp.109-118, Luxor, EGITO, 2010. Resumo expandido
|
CARNIELLI, Walter A.; Polynomial ring calculus for S4, intuitionistic logic and multimodal logics, 04/2010, Científico Internacional, 3rd World Congress and School on Universal Logic, Vol. 1, pp.29-29, Lisboa, PORTUGAL, 2010
|
CARNIELLI, Walter A.; Logic in polynomial format, logic autopoiesis and the laws of form, 08/2007, Científico Internacional, 13th International Congress for Logic, Methodology and Philosophy of Science, Vol. 1, pp.257-257, Pequin, CHINA, 2007
|
CARNIELLI, Walter A.; Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz, 08/2007, Científico Internacional, 2nd World Congress and School on Universal Logic (UniLOG'07), Vol. 1, pp.45-45, Pequim, CHINA, 2007
|
CARNIELLI, Walter A.; Surviving Abduction, 12/2004, Científico Internacional, Model-Based Reasoning in Science and Engineering (MBR'04), Vol. 2, pp.2-2, Pavia, ITALIA, 2004
|
CARNIELLI, Walter A.; SERNADAS, Cristina; ZANARDO, ALBERTO; Preservation of interpolation by fibring, 07/2004, Científico Internacional, CombLog'04 - Workshop on Combination of Logics: Theory and Applications, Vol. 1, pp.151-157, Lisboa, PORTUGAL, 2004
|
CARNIELLI, Walter A.; Semântica Algébrica de Traduções Possíveis: um enfoque categorial, 10/2003, Científico Internacional, XIII Encontro Brasileiro de Lógica, Vol. 1, pp.55-55, Campinas, SP, BRASIL, 2003
|
CARNIELLI, Walter A.; Susko's Thesis and Logic semantics, 10/2003, Científico Internacional, III World Congress on Paraconsistency, Vol. 1, pp.23-23, Toulouse, FRANCA, 2003
|
CARNIELLI, Walter A.; Translation and model teory, 10/2003, Científico Internacional, Logic Colloquium 2000: ASL European Summer Meeting, Vol. 1, pp.88-88, Paris, FRANCA, 2003
|
CARNIELLI, Walter A.; C-systems - paleontology and futurology, 11/2000, Científico Internacional, II World Congress on Paraconsistency, Vol. 1, pp.20-21, São Paulo, SP, BRASIL, 2000
|
CARNIELLI, Walter A.; La lógica y el razionamento cualitativo, 11/2000, Científico Internacional, II Encuentro de Filosofia e Historia de la Ciencia del Cono Sur, Vol. 1, pp.42-42, Quilmes, ARGENTINA, 2000
|
CARNIELLI, Walter A.; Probability, Consistency and Determinateness: a Bold Betting, 04/2016, Artístico Nacional, 3 Terceira Temporada Cachorro Urubu - Núcleo Tumulto! de Investigação Cênica, Vol. 1, pp.1-1, São Paulo, SP, BRASIL, 2016
|
RODRIGUES FILHO, Abilio Azambuja; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Dealing with paraconsistency and paracompleteness: on minimal logics of formal inconsistency and undeterminedness, 10/2014, Científico Nacional, XVI Encontro Nacional da Anpof, Vol. ., pp.1-1, Aracajú, SE, BRASIL, 2014
|
CARNIELLI, Walter A.; On two paradigms of uncertainty, and their rationality, 10/2014, Científico Nacional, XVI Encontro Nacional da Anpof, Vol. ., pp.1-1, Aracajú, SE, BRASIL, 2014
|
CARNIELLI, Walter A.; Proof Theory for Contemporary Logic by Handling Polinomials over Finite Fields, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011
|
CARNIELLI, Walter A.; Informação, contradição e o paradoxo de Bar-Hillel-Carnap, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011
|
CARNIELLI, Walter A.; Paraconsistent set theory by predicating on consistency, 05/2011, Científico Nacional, XVI Encontro Brasileiro de Lógica - EBL, Vol. 1, pp.1-3, Petrópolis, RJ, BRASIL, 2011
|
CARNIELLI, Walter A.; A ditadura do conhecimento, 10/2008, Científico Nacional, XIII Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.1-3, Canela, RS, BRASIL, 2008
|
CARNIELLI, Walter A.; O que é isso: a Relevância Filosófica? (Livro de Atas), 10/2006, Científico Nacional, XII Encontro Nacional de Filosofia da ANPOF, Vol. 1, pp.555-555, Salvador, BA, BRASIL, 2006
|
CARNIELLI, Walter A.; As regras derivadas e a eficiência relativa dos métodos de demonstração, 09/2002, Científico Nacional, X Encontro Nacional de Filosofia -ANPOF, Vol. 1, pp.229-229, São Paulo, SP, BRASIL, 2002
|
CARNIELLI, Walter A.; Teoria de modelos e traduções, 10/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.125-126, Poços de Caldas, SP, BRASIL, 2000
|
CARNIELLI, Walter A.; A model-theoretic approach to translations between logics, 10/2000, Científico Nacional, 7th Workshop on Logic, Language, Information and Computation, Vol. 1, pp.56-65, São Paulo, SP, BRASIL, 2000
|
CARNIELLI, Walter A.; Lógica e raciocínio qualitativo, 10/2000, Científico Nacional, IX Encontro Nacional de Filosofia, Vol. 1, pp.127-128, Poços de Caldas, SP, BRASIL, 2000
|
CARNIELLI, Walter A.; Integração de Crescimento de Região e Detecção de Arestas através de Operadores de Agregação, 09/1996, Científico Nacional, SIBRAP'97 - Simp. Bras. de Comp. Graf. e Proc. de Imagens, Vol. S/N, Uberlandia, MG, BRASIL, 1996
|
OLIVEIRA, Joäo R. S.; CARNIELLI, Walter A.; Computabilidade e Lógicas Näo Clássicas., 11/1992, Científico Nacional, 3a. Jornada de Iniciaçäo Científica do IMECC, Vol. S/N, pp.13-13, Campinas, SP, BRASIL, 1992
|
CARNIELLI, Walter A. (Expositor); Creativity 2019 - 1st World Congress of the Brazilian Academy of Philosophy in Honor of Newton da Costa 90th Birthday, (08/12/2019 a 13/12/2019), Rio de Janeiro, RJ, BRASIL, Oral: How paraconsistency makes Gods mightier: a lesson on creativity
|
CARNIELLI, Walter A. (Expositor); Logic Bochum IV including the 4th workshop on conexive logics, (19/10/2018 a 21/10/2018), Bochum, ALEMANHA, Oral: A probabilistic approach to evidence and truth: On paraconsistency, probability, and evidence
|
CARNIELLI, Walter A. (Expositor); International Congress of Mathematicians 2018 (ICM 2018), (01/08/2018 a 09/08/2018), Rio de Janeiro, RJ, BRASIL, Oral: The Principle of Ariadne as a New Choice Paradigm in Mathematics
|
CARNIELLI, Walter A. (Autor); First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handling, (26/06/2018 a 29/06/2018), Dresden, ALEMANHA, Oral: Non-standard possibilistic and necessitistic measures as foundations for artificial reasoning
|
CARNIELLI, Walter A. (Autor); The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA, Oral: Paraconsistent autonomous probabilities
|
CARNIELLI, Walter A. (Autor); LIMA-MARQUES, Mamede (Autor); The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA, Oral: Society semantics and meta-levels of many-valued logic
|
CARNIELLI, Walter A. (Expositor); Fourth International meeting of the APMP, (23/10/2017 a 27/10/2017), Salvador, BA, BRASIL, Oral: Contradictory and inconsistent sets, Zermelian set theory, and forcing
|
CARNIELLI, Walter A. (Autor); Bath-Bristol Workshop Crosses the Atlantic, (24/06/2017 a 24/06/2017), Bristol, REINO UNIDO, Oral: Consistency, possibilistic, and necessitistic measures
|
CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Lógicas Posibilisticas y Necesitisticas
|
CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Probabilidades Paraconsistentes
|
CARNIELLI, Walter A. (Expositor); I Jornada de Lógica No-Clássica: Paraconstência, (01/07/2017 a 03/07/2017), Ciudad de México, MEXICO, Oral: Un Enfoque Epistémico a la Paraconsistencia: Evidencia y Verdad
|
CARNIELLI, Walter A. (Autor); Forschungskolloquium /Research Colloquium Logic and Epistemology, (20/06/2017 a 20/06/2017), Bochum, ALEMANHA, Oral: Consistency, possibilistic, and necessitistic measures
|
CARNIELLI, Walter A. (Autor); Forschungskolloquium /Research Colloquium Logic and Epistemology, (20/06/2017 a 20/06/2017), Bochum, ALEMANHA, Oral: Rolling strange dice: probability and logic coexisting in non-classical realms
|
CARNIELLI, Walter A. (Autor); DI PRISCO, CARLOS (Autor); 17th Slam - Latin American Symposium on Mathematical Logic, (26/06/2017 a 30/06/2017), Puebla, MEXICO, Oral: The Principle of Ariadne and the Axiom of Choice: some perspectives
|
CARNIELLI, Walter A. (Expositor); CONIGLIO, Marcelo E. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: An epistemic approach to paraconsistency
|
CARNIELLI, Walter A. (Expositor); XVIII EBL - 18th Brazilian Logic Conference, (08/05/2017 a 12/05/2017), Pirenopolis, GO, BRASIL, Oral: Possibility theory, evidence and uncertainty
|
CARNIELLI, Walter A. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); IV Conference of the Brazilian Society for Analytic Philosophy, (05/07/2016 a 08/07/2016), Campinas, SP, BRASIL, Oral: Logical pluralism without truth relativism
|
CARNIELLI, Walter A. (Expositor); 12th International Conference “Logic Today: Developments and Perspectives”, (22/06/2016 a 24/06/2016), St. Petersburg, RUSSIA, Oral: Sound Probabilistic Reasoning under Contradiction, Inconsistency and Incompleteness
|
CARNIELLI, Walter A. (Expositor); 1 First joint meeting Brazil-Spain in Mathematics, (07/12/2015 a 10/12/2015), Fortaleza, CE, BRASIL, Oral: A Logic of Evidence and Truth: a true epistemic approach to paraconsistency
|
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
|
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
|
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
|
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
|
CARNIELLI, Walter A. (Expositor); 15th Congress on Logic, Methodology and Philosophy of Science, (03/08/2015 a 08/08/2015), Helsinki, FINLANDIA, Oral: Probability measures of the inconsistent? and of the contradictory
|
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
|
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?
|
CARNIELLI, Walter A. (Expositor); Logic 2015: Logica 2015, (15/06/2015 a 19/06/2015), Hejnice, REPUBLICA TCHECA, Oral: An Epistemic Approach to Paraconsistency: A Logic of Evidence and Trut
|
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
|
CARNIELLI, Walter A. (Autor); Representation and axiomatization: power and limits, (19/03/2015 a 21/03/2015), Paris, FRANCA, Oral: Formal plenitude and Curry's paradox: Sketch of an expanded theory for arithmetical truth
|
CARNIELLI, Walter A. (Expositor); Séminaire de Logiques Non Classiques, (27/03/2015 a 27/03/2015), Paris, FRANCA, Oral: On rational belief under contradiction: foundations of paraconsistent probability
|
CARNIELLI, Walter A. (Expositor); Towards a new way to algebraize FOL (and several others), (09/02/2015 a 09/02/2015), Lisboa, PORTUGAL, Oral: Towards a new way to algebraize FOL (and several others)
|
CARNIELLI, Walter A. (Expositor); CESIMA Anno XX - Crossing Oceans: Exchange of Products, Instruments, and Procedures in the History of Chemistry and Related Sciences, (24/08/2014 a 28/08/2014), São Paulo, SP, BRASIL, Oral: Contradiction in reasoning: an evil or a blessing?
|
CARNIELLI, Walter A. (Expositor); First Workshop CLE - Buenos Aires Logic Group, (04/08/2014 a 05/08/2014), Buenos Aires, ARGENTINA, Oral: Contradiction Consistency and Inconsistency: Methods and Concepts on Logics of Formal (In)consistency
|
CARNIELLI, Walter A. (Expositor); 16th Latin American Symposium on Mathematical Logic (XVI SLALM), (28/07/2014 a 01/08/2014), Buenos Aires, ARGENTINA, Oral: A rapprochement between algebra and logic
|
CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Paraconsistency and fuzziness
|
CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Exhibitor at Round Table 2 = Brain, Contradictions and Computability. Participants: Sisir Roy, Palash Sarkar, Guruprasad Ka, Joby Jospeh
|
CARNIELLI, Walter A. (Expositor); 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA, Oral: Exhibitor at Round Table 1 = Paraconsitent Logic and Reasoning. Participants: Jean-Yves Béziau,
Can Başkent, Diderik Batens, Zach Weber
|
CARNIELLI, Walter A. (Expositor); XVII Congresso da Sociedade Interamericana de Filosofia, tema geral “Ciência e Cultura”., (07/10/2013 a 11/10/2013), Salvador, BA, BRASIL, Oral: Gödel s theorems are not inevitable: how to rationally resist the incompleteness arguments
|
CARNIELLI, Walter A. (Organizador); Colloquium Logicae - Palestra sobre Alan Tuting na UNICAMP, (05/12/2012 a 05/12/2012), Campinas, SP, BRASIL, Oral: O Problema da Parada: Alan Turing, de Leibniz a Gödel - Centenário de Alan Turing - Unicamp
|
CARNIELLI, Walter A. (Expositor); Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, (01/11/2012 a 02/11/2012), Tel Aviv, ISRAEL, Oral: Paraconsistent set theories by predicating on (in)consistency
|
CARNIELLI, Walter A. (Editor); Logic: Between Semantics and Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, (01/11/2012 a 02/11/2012), Tel Aviv, ISRAEL, Oral: Logic: Between Semantics and Proof Theory
|
CARNIELLI, Walter A. (Expositor); International Workshop Nikolai Vasiliev's Logical Legacy and the Modern Logic, (24/10/2012 a 26/10/2012), Moscow, RUSSIA, Oral: From Curved Logic to Imaginary Sets: Inconsistent Set Theory and the Expansion of Mathematical Thinking
|
CARNIELLI, Walter A. (Expositor); 15th Latin American Synposium on Mathematical Logic (XV SLALM), (04/06/2012 a 08/06/2012), Bogotá, COLOMBIA, Oral: On new foundations for paraconsistent set theory
|
CARNIELLI, Walter A. (Expositor); LOFT10 2012 - Tenth Conference on Logic and the Foundations of Game and Decision Theory, (18/06/2012 a 20/06/2012), Sevilla, ESPANHA, Oral: The several senses of consistency and their role in reasoning
|
CARNIELLI, Walter A. (Expositor); Beyond the Possible - Remembering Richard Sylvan, (27/07/2011 a 29/07/2011), Melbourne, AUSTRALIA, Oral: Inconsistent Sets in Logics of Formal Inconsisency
|
CARNIELLI, Walter A. (Expositor); Logic Seminar, (15/07/2011 a 17/07/2011), Melbourne, AUSTRALIA, Oral: Many semantics for a few logics
|
CARNIELLI, Walter A. (Expositor); Third International Congress on Tools for Teaching Logic, (01/06/2011 a 04/06/2011), Salamanca, ESPANHA, Oral: Proofs by handling polynomials: a tool for teaching logic and metalogic
|
CARNIELLI, Walter A. (Expositor); Seminários do Departamento de Matemática da Universidade de Salerno, (23/05/2011 a 28/11/2011), Salerno, ITALIA, Oral: How to use Polynomials to Design Proofs
|
CARNIELLI, Walter A. (Expositor); XIV Colóquio Conesul de Filosofia das Ciências Formais, (06/10/2010 a 10/10/2010), Santa Maria, RS, BRASIL, Oral: Sobre filósofos que admiram-se somente uns aos outros, tudo, muito e alguns
|
CARNIELLI, Walter A. (Expositor); Weekly Seminar, (10/09/2010 a 12/09/2010), Alexandria, EGITO, Oral: The possible- translations semantics and reasoning with contradictions
|
CARNIELLI, Walter A. (Expositor); 3th International Workshop on Physics and Computation, (30/08/2010 a ), Luxor, EGITO, Oral: Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?.
|
CARNIELLI, Walter A. (Expositor); Seminars of LILaC--Logic, Interaction, Language, and Computation, (15/05/2010 a 18/05/2010), Toulouse, FRANCA, Oral: Introduction aux Logiques de I'inconsistance Formelle et Semantiques de Traductions Possibles
|
CARNIELLI, Walter A. (Expositor); Seminars of LILaC--Logic, Interaction, Language, and Computation, (15/05/2010 a 18/05/2010), Toulouse, FRANCA, Oral: Logiques en format polynomial
|
CARNIELLI, Walter A. (Autor); 3rd World Congress and School on Universal Logic, (18/04/2010 a 25/04/2010), Lisboa, PORTUGAL, Oral: Polynomial ring calculus for S4, intuitionistic logic and multimodal logics
|
CARNIELLI, Walter A. (Expositor); Seminário de Lógica Matemática, (30/04/2010 a 30/04/2010), Lisboa, PORTUGAL, Oral: Polynomials instead of formulas: revamping the heritage of Boole and Leibniz.
|
CARNIELLI, Walter A. (Expositor); Logic and Computation Seminar, (28/04/2010 a 28/04/2010), Lisboa, PORTUGAL, Oral: Rationality, consistency and societies,
|
CARNIELLI, Walter A. (Expositor); CONIGLIO, Marcelo E. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Logics of formal inconsistency
|
CARNIELLI, Walter A. (Expositor); ARAÚJO, A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: On two different dimensions of arithmetic
|
CARNIELLI, Walter A. (Expositor); AGUDELO, J. C. A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Paraconsistent computation and its quantum character
|
CARNIELLI, Walter A. (Expositor); CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL, Oral: Rationality, Consistency and Societies
|
CARNIELLI, Walter A. (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, ESCOCIA, Oral: Combining Logics by Means of Possible-Translation Semantics and Society Semantics
|
CARNIELLI, Walter A. (Expositor); Arche-Philosophical Research Centre for Logic, Language, Metaphysucs and Epistemology, (10/11/2008 a 10/11/2008), Saint Andrews, ESCOCIA, Oral: Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials: a Happy Marriage between Logic and Algebra?
|
CARNIELLI, Walter A. (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
|
CARNIELLI, Walter A. (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
|
CARNIELLI, Walter A. (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
|
CARNIELLI, Walter A. (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
|
CARNIELLI, Walter A. (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
|
CARNIELLI, Walter A. (Expositor); CLE 30 / XV EBL / XIV SLALM, (11/05/2008 a 17/05/2008), Paraty, RJ, BRASIL, Oral: Paraconsistency aspects and quantum indiscernibility
|
CARNIELLI, Walter A. (Expositor); 2nd World Congress and School on Universal Logic (UniLOG'07), (16/08/2007 a 29/08/2007), Pequim, CHINA, Oral: Many valued logic in algebraic form: roots of universal logic in the legacy of boole and Leibniz
|
CARNIELLI, Walter A. (Expositor); 13th International Congress for Logic, Methodology and Philosophy of Science, (09/08/2007 a 15/08/2007), Pequin, CHINA, Oral: Logics in polynomial format, logic autopoiesis and the laws of form
|
CARNIELLI, Walter A. (Expositor); The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), (20/12/2005 a 22/12/2005), Pune, INDIA, Oral: Quantum algorithms, paraconsistent computation and Deutsch's problem
|
CARNIELLI, Walter A. (Expositor); 35th International Symposium on Multiple-Valued Logic, (19/05/2005 a 21/05/2005), Calgary, CANADA, Oral: Polynomial Ring Calculus for Many-valued Logics
|
CARNIELLI, Walter A. (Expositor); Philosophisches Seminar, (12/05/2004 a 12/05/2004), Bonn, ALEMANHA, Oral: Possible-Translations Semantics.
|
CARNIELLI, Walter A. (Expositor); First World Congress and School on Universal Logic, (26/03/2005 a 03/04/2005), Montreux, SUICA, Oral: Polynomial Ring Calculus for Logical Inference
|
CARNIELLI, Walter A. (Expositor); First World Congress and School on Universal Logic, (26/03/2005 a 03/04/2005), Montreux, SUICA, Oral: Many-Valued Semantics
|
CARNIELLI, Walter A. (Expositor); Seminário de Lógica, (28/06/2004 a 28/06/2004), Málaga, ESPANHA, Oral: Multimodalidades entre Positivas y Paraconsistentes
|
CARNIELLI, Walter A. (Expositor); Seminar de l'Institut de Logigue, (17/05/2004 a 17/05/2004), Neuchâtel, SUICA, Oral: Logicas de Inconsistentia Formal e su Semanticas
|
CARNIELLI, Walter A. (Expositor); Seminari de Lògiques no-Clàssiques, (21/05/2004 a 21/05/2004), Barcelona, ESPANHA, Oral: Algebraizing Logics via Possible-Translations Semantics
|
CARNIELLI, Walter A. (Expositor); Conferência: Minimalist modalities and Epistemic Paradoxes, (20/04/2004 a 20/04/2004), Itália, ITALIA, Oral: Minimalist modalities and Epistemic Paradoxes
|
CARNIELLI, Walter A. (Expositor); Logic and Computation Seminar, (20/02/2004 a 20/02/2004), Lisboa, PORTUGAL, Oral: Minimalist modalities
|
CARNIELLI, Walter A. (Docente); XII Simpósio Latinoamericano de Lógica Matemática, (12/01/2004 a 16/01/2004), San José, COSTA RICA, Oral: The softned hermeneutics
|
CARNIELLI, Walter A. (Coordenador); LEMOS, Cláudia Thereza G.de (Participação em Mesa-redonda (Debatedor)); ALVES, E. H. (Participação em Mesa-redonda (debatedor)); DOTTAVIANO, Ítala M. Loffredo (Participação em Mesa-redonda (Debatedor)); CHINELLATO, J.A. (Participação em Mesa-redonda (Debatedor)); GABBI JUNIOR, Osmyr Faria (Participação em Mesa-redonda (Debatedor)); CLE/SBL 25 ANOS - XIII ENCONTRO BRASILEIRO DE LÓGICA, (26/05/2003 a 30/05/2003), Campinas, SP, BRASIL, Oral: O CLE: sua proposta interdisciplinar e seus destinos
|
CARNIELLI, Walter A. (Coordenador); Worksop on Parconsistent Logic, (05/08/2003 a 09/08/2003), Trento, ITALIA, Oral: How to build your own paraconsitent logic: an introduction to the Logics of Formal (In)Consistency
|
CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (26/07/2002 a ), Lisboa, PORTUGAL, Oral: Tableau methods for non-standard logics: making sense of proof reasoning
|
CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Logicais Modais e Multimodais
|
CARNIELLI, Walter A. (Coordenador); Seminário de Teoria da Computação, (21/01/2000 a ), Lisboa, PORTUGAL, Oral: Reasoning Under Inconsistency
|
CARNIELLI, Walter A. (Coordenador); Conference of the advanced reasoning forum, (10/08/2000 a 10/08/2000), Bucareste, ROMENIA, Oral: The power of reasoning under Inconsistency
|
CARNIELLI, Walter A. (Coordenador); Logic Colloquium 2000: ASL European Summer Meeting, (11/10/2000 a 16/10/2000), Paris, FRANCA, Oral: Translations and model theory
|
CARNIELLI, Walter A. (Docente); Kurt Godel Colloquium, (05/08/1997 a 07/08/1997), Viena, AUSTRIA, Oral: Ultrafilter Logic and Generic Reasoning
|
CARNIELLI, Walter A. (Docente); World Congress on Paraconsistency, (05/07/1997 a 07/07/1997), Gent, BELGICA, Oral: Non-deterministic semantics Paraconsistent Logics
|
CARNIELLI, Walter A. (Docente); Generic Reasoning and Ultrafilter Logic, (01/05/1997 a 04/05/1997), Saarbrucken, ALEMANHA, Oral: Generic Reasoning and Ultrafilter Logic
|
CARNIELLI, Walter A. (Docente); A Mathematical Theory of Translations between Logics, (02/03/1996 a 02/03/1996), Toulouse, FRANCA, Oral: A Mathematical Theory of Translations Between Logics
|
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, 4th Global Conference on Artificial Intelligence- membro do Comitê Científico: GCAI 2018, (17/09/2018 a 19/09/2018), Luxembourg, LUXEMBURGO
|
Carnielli, Walter A.; (Outra) , Membro da Comissão Organizadora, The 6th UNILOG – World Congress and School on Universal Logic: Probability, and their Generalizations, (16/06/2018 a 20/06/2018), Vichy, FRANCA
|
Carnielli, Walter A.; (Outra) , Comentador junto com Bruno Mendonça eHenrique Antunes do Mini-Panel: Ampliative Deductive Proof in Mathematical Practice. Expositor: Danielle Macbeth,, IV Conference of the Brazilian Society for Analytic Philosophy, (05/07/2016 a 08/07/2016), Campinas, SP, BRASIL
|
Carnielli, Walter A.; (Outra) , Scientific Committee, 5th World Congress and School on Universal Logic, (25/06/2015 a 30/06/2015), Istanbul, TURQUIA
|
Carnielli, Walter A.; (Outra) , Membro do Scientific Committee, 5 5th World Congress and School on Universal Logic - Unilog 2015, (20/06/2015 a 30/06/2015), Istanbul, TURQUIA
|
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, JELIA 2014 - 14th Euroepean Conference on Logics in Artificial Intelligence, (24/09/2014 a 26/09/2014), Madeira, PORTUGAL
|
Carnielli, Walter A.; (Outra) , Program Committee, First International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014),, (23/07/2014 a 23/07/2014), Viena, AUSTRIA
|
Carnielli, Walter A.; (Coordenador de Mesa Redonda) , Round Tables: 1) Paraconsistent Logic and Reasoning and 2) Brain, Contradictions and Computability, 5th World Congress on Paraconsistency (WCP5), (13/02/2014 a 17/02/2014), Kolkata, INDIA
|
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, LSFA- 8th Workshop on Logical and Semantic Framework, with Applications., (02/09/2013 a 03/09/2013), São Paulo, SP, BRASIL
|
Carnielli, Walter A.; (Coordenador de Mesa Redonda) , Mesas de Palestras no dia 26/11/2009 (manhã e tarde), CLE / AIPS event – Science, Truth and Consistency, (23/08/2009 a 28/08/2009), Campinas, SP, BRASIL
|
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, JELIA 2008 - 11th European Conference on Logics in Artificial Intelligence, (28/09/2008 a 30/09/2008), Dresden, ALEMANHA
|
Carnielli, Walter A.; (Coordenador de Sessão Técnica) , Workshop Schedule - First Session, First International Workshop on Foundations of Computer Science as Logic-Related, (30/08/2008 a 30/08/2008), Istanbul, TURQUIA
|
Carnielli, Walter A.; (Outra) , Membro do Comitê Científico, The 21st International Florida Artificial Intelligence Research Society (FLAIRS-21), (15/05/2008 a 17/05/2008), Miami, ESTADOS UNIDOS DA AMERICA
|
Carnielli, Walter A.; (Debatedor de Mesa Redonda) , Os símbolos e a produção do conhecimento, VII Encontro Brasileiro Internacional de Ciência Cognitiva - EBICC, (30/10/2006 a 03/11/2006), São Paulo, SP, BRASIL
|
Carnielli, Walter A.; (Outra) , Conferencista Convidado, The Second International Conference of Philosophy and Cognitive Science, (03/07/2006 a 05/07/2006), Guangzhou, CHINA
|
Carnielli, Walter A.; (Coordenador de Sessão Técnica) Semantics and Meaning, (25/07/2005 a 28/07/2005), Campinas, SP, BRASIL
|
CARNIELLI, Walter A. (Expositor); XVII Encontro Nacional da Anpof, (17/10/2016 a 21/10/2016), Aracaju, SE, BRASIL, Oral: O Enigma Logico Mais Difícil do Mundo Nao E o Mais Difícil
|
CARNIELLI, Walter A. (Expositor); 7 Tecnologia em Foco, (26/09/2016 a 30/09/2016), Limeira, SP, BRASIL, Oral: Big Data e Inteligência Artificial: uma crítica
|
CARNIELLI, Walter A. (Expositor); 3 Terceira Temporada Cachorro Urubu - Núcleo Tumulto! de Investigação Cênica, (29/04/2017 a 21/05/2017), São Paulo, SP, BRASIL, Oral: Probability, Consistency and Determinateness: a Bold Betting
|
CONIGLIO, Marcelo E. (Expositor); RODRIGUES FILHO, Abilio Azambuja (Expositor); CARNIELLI, Walter A. (Expositor); XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL, Oral: Dealing with paraconsistency and paracompleteness: on minimal logics of formal inconsistency and undeterminedness
|
CARNIELLI, Walter A. (Expositor); XVI Encontro Nacional da Anpof, (27/10/2014 a 31/10/2014), Aracajú, SE, BRASIL, Oral: On two paradigms of uncertainty, and their rationality
|
CARNIELLI, Walter A. (Expositor); Seminários do Grupo de Pesquisa Interdisciplinar História e Atualidade do Diálogo entre Ciência, Filosofia e Teologia da Unicamp - CCFT, (08/06/2013 a 30/11/2013), Campinas, SP, BRASIL, Oral: Gödel: um retorno da Matemática ao Misticismo?
|
CARNIELLI, Walter A. (Expositor); XXXII Congresso da Sociedade Brasileira de Computação (CSBC), (16/07/2012 a 19/07/2012), Curitiba, PR, BRASIL, Oral: Painel: O centenário de Alan Turing: passado e futuro da computação
|
CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Proof Theory for Contemporary Logic by Handling Polinomials over Finite Fields
|
CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Informação, contradição e o paradoxo de Bar-Hillel-Carnap
|
CARNIELLI, Walter A. (Expositor); XVI Encontro Brasileiro de Lógica - EBL, (09/05/2011 a 13/05/2011), Petrópolis, RJ, BRASIL, Oral: Paraconsistent set theory by predicating on consistency
|
CARNIELLI, Walter A. (Expositor); III Workshop-Escola de Computação e Informação Quântica, (13/10/2010 a 15/10/2010), Petrópolis, RJ, BRASIL, Oral: Paraconsistência e Computação Quântica
|
CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: As multimodalidades e seu interesse filosófico
|
CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Lógica, argumentação e pensamento crítico: um programa
|
CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Lógica Quântica, suas Vertentes Modais e a Incompletude
|
CARNIELLI, Walter A. (Expositor); Seminários de Matemática, (29/10/2010 a 29/10/2010), Belo Horizonte, MG, BRASIL, Oral: Incompletude em lógica modal e seus efeitos na computação quântica
|
CARNIELLI, Walter A. (Expositor); Seminários de Filosofia, (27/10/2010 a 28/10/2010), Belo Horizonte, MG, BRASIL, Oral: Um programa de argumentação e pensamento crítico
|
CARNIELLI, Walter A. (Expositor); Palestras sobre teorias da argumentação, (11/06/2010 a 11/06/2010), São Paulo, SP, BRASIL, Oral: Argumentação Eficiente para o Discurso Profissional Pensamento Crítico e Autodefesa Intelectual
|
CARNIELLI, Walter A. (Expositor); Conferência no Curso de Inteligência Estratégica, (25/03/2010 a 25/03/2010), Rio de Janeiro, RJ, BRASIL, Oral: Lógica e Pensamento Crítico
|
CARNIELLI, Walter A. (Expositor); XIII Encontro Nacional de Filosofia da ANPOF, (06/10/2008 a 10/10/2008), Canela, RS, BRASIL, Oral: A ditadura do conhecimento
|
CARNIELLI, Walter A. (Expositor); XII Encontro Nacional de Filosofia da ANPOF, (23/10/2006 a 27/10/2006), Salvador, BA, BRASIL, Oral: O que é isso: a Relevância Filosófica?
|
CARNIELLI, Walter A. (Expositor); XIV Encontro Brasileiro de Lógica (EBL), (24/04/2006 a 28/04/2006), Itatiaia, RJ, BRASIL, Oral: Boolean logic in polynomial form
|
CARNIELLI, Walter A. (Expositor); XI Encontro Nacional de Filosofia da ANPOF, (18/10/2004 a 22/10/2004), Salvador, BA, BRASIL, Oral: Demonstrabilidade e verdade na obra de Kurt Gödel
|
MEDEIROS, Maria da Paz Nunes d (Docente); CARNIELLI, Walter A. (Docente); KRAUSE, Décio (Docente); X Encontro Nacional de Filosofia da ANPOF, (29/09/2002 a 03/10/2002), São Paulo, SP, BRASIL, Oral: O que devemos incentivar nossos alunos a pesquisar em Lógica no Brasil?
|
CARNIELLI, Walter A. (Docente); X Encontro Nacional de Filosofia da ANPOF, (29/09/2002 a 03/10/2002), São Paulo, SP, BRASIL, Oral: As regras derivadas e a eficiência relativa dos métodos de demonstração
|
CARNIELLI, Walter A. (Coordenador); 7th Workshop on Logic, Language, Information and Computation, (01/01/2000 a ), São Paulo, SP, BRASIL, Oral: A model-theoretic approach to translations between logics
|
CARNIELLI, Walter A. (Coordenador); IX Encontro Nacional de Filosofia, (06/10/2000 a 06/10/2000), Poços de Caldas, SP, BRASIL, Oral: Teoria de Modelos e Traduções
|
CARNIELLI, Walter A. (Docente); VIII Colóquio de História da Ciência, (01/10/1993 a 01/10/1993), Águas de Lindóia, SP, BRASIL, Oral: Lógica temporal
|
CARNIELLI, Walter A. (Docente); X Encontro Brasileiro de Lógica, (01/05/1993 a 01/05/1993), Itatiaia, SP, BRASIL, Oral: Lógicas Difusas Intrínsecas
|
CARNIELLI, Walter A. (Docente); Palestra a Convite, (01/12/1992 a 01/12/1992), Toulouse, FRANCA, Oral: New Results on Polarized Partition Relations.
|
CARNIELLI, Walter A. (Docente); Palestra a Convite, (01/12/1992 a 01/12/1992), Toulouse, FRANCA, Oral: Connaissances et Inconsistances.
|
CARNIELLI, Walter A. (Docente); Colóquio em Homenagem ao Professor Andrés Raggio, (01/10/1992 a 01/10/1992), Diamantina, SP, BRASIL, Oral: Cardinais inimagináveis: alguns resultados em combinatória infinita
|
CARNIELLI, Walter A. (Docente); V Encontro Nacional de Filosofia, (01/10/1992 a 01/10/1992), Diamantina, SP, BRASIL, Oral: Cardinais Inimagináveis: Alguns Resultados em Combinatória Infinita.
|
CARNIELLI, Walter A. (Docente); IJCAI, (01/12/1991 a 01/12/1991), Sidney, AUSTRALIA, Oral: Contextual negations and resoning with contradiction.
|
CARNIELLI, Walter A.; Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery, 10/2010, Texto Integral, ed. 1, Springer, pp. 654, pp.1-654, 2010
|
CARNIELLI, Walter A.; Pensamento Crítico: O Poder da Lógica e da Argumentação, 11/2009, Texto Integral, ed. 1, Rideel, Vol. 1, pp. 384, pp.1-384, 2009
|
CONIGLIO, Marcelo E.; DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; The Many Sides of Logic, 11/2009, Texto Integral, ed. 1, Studies in Logic Series, College Publications, Vol. 21, pp. 586, pp.1-586, 2009
|
CARNIELLI, Walter A.; Modalities and Multimodalities, 10/2008, Texto Integral, ed. 1, Applied Logic Series, Springer-Velag, Vol. 35, pp. 306, pp.1-306, 2008
|
CARNIELLI, Walter A.; Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems, 08/2008, Texto Integral, ed. 1, Springer-Velag, pp. 604, pp.1-604, 2008
|
CARNIELLI, Walter A.; Paraconsistent Logic Without Frontiers, 07/2006, Texto Integral, ed. 1, Elsevier Science, Vol. 4, pp. 320, pp.1-320, 2006
|
CARNIELLI, Walter A.; Computabilidade, Funções Computáveis, Lógica e os Fundamentos da Matemática, 03/2006, Texto Integral, ed. 1, 1, Editora UNESP, Vol. 1, pp. 416, pp.1-416, 2006
|
CARNIELLI, Walter A.; Paraconsistency: the logical way to the inconsistent, 01/2002, Texto Integral, ed. 1, 1, Marcel Dekker, Vol. 1, pp. 540, pp.1-540, 2002
|
CARNIELLI, Walter A.; Proceedings of the Worksop on Paraconsistent Logic, 01/2002, Texto Integral, ed. 1, 1, CLE e-Prints, Vol. 2, pp. 186, pp.1-186, 2002
|
CARNIELLI, Walter A.; PIZZI, Claudio; Modalità e Multimodalità, 10/2001, Texto Integral, ed. 1, Franco Angeli, pp. 178, pp.7-184, 2001
|
DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; Paraconsistency: the Logical Way to the Inconsistent. (Prefácio), 05/2001, Texto Integral, ed. 1, Marcel Dekker Inc., pp. 1, pp.1-1, 2001
|
CARNIELLI, Walter A.; Computability: recursive functions, logic and the foundations of mathematics, with timeline computability undecibility, 11/2000, Texto Integral, ed. 1, Wadsworth/Thomson Learning, pp. 338, pp.1-338, 2000
|
CARNIELLI, Walter A.; Logic Sets and Information - Proceedings of the Tenth Brazilian Conference on Mathematical Logic, 07/1996, Texto Integral, Coleção CLE, Centro de Logica - CLEHC, Vol. 14, pp. 20, pp.73-92, 1996
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; On formal aspects of the epistemic approach to paraconsistency, 12/2018, "Logic and Philosophy of Logic: Recent Trends in Latin America and Spain", Capítulo, ed. 1, Studies in Logic, College Publications, Vol. 78, pp. 27, pp.48-74, 2018
|
CARNIELLI, Walter A.; Making The `Hardest Logic Puzzle Ever a Bit Harder, 01/2018, "Outstanding Contributions to Logic", Capítulo, ed. 1, Springer International Publishing, Vol. 1, pp. 10, pp.181-190, 2018
|
CARNIELLI, Walter A.; DI PRISCO, CARLOS; The Wonder of Colors and the Principle of Ariadne, 12/2017, "How Colours Matter to Philosophy", Capítulo, ed. 1, Springer, Vol. 388, pp. 9, pp.309-317, 2017
|
CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Experimenting with consistency, 08/2017, "The Logical Legacy of Nikolai Vasiliev and Modern Logic", Capítulo, ed. 1, Springer, Vol. 387, pp. 21, pp.199-219, 2017
|
CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Paraconsistent probabilities, their significance and their uses, 06/2017, "Essays in Honour of Amilcar Sernadas", Capítulo, ed. 1, 1, College Publications, Vol. 1, pp. 34, pp.197-230, 2017
|
BUENO-SOLER, Juliana; CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Formal (In)consistency, Abduction and Modalities, 05/2017, "Springer Handbook of Model-Based Science", Capítulo, ed. 1, Springer International Publishing, pp. 21, pp.315-335, 2017
|
CARNIELLI, Walter A.; BUENO-SOLER, Juliana; Paraconsistent probabilities, their significance and their uses, 09/2016, "Essays in Honour of Amilcar Sernadas", Capítulo, ed. 1, 1, College Publications, Vol. 1, pp. 34, pp.197-230, 2016
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; On the philosophy and mathematics of the Logics of Formal Inconsistency, 07/2016, "New Directions in Paraconsistent Logic 5th WCP, Kolkata, India, February 2014", Capítulo, ed. 1, Springer India, pp. 32, pp.57-88, 2016
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Paraconsistency and duality: between ontological and epistemological views, 06/2016, "The Logica Yearbook 2015", Capítulo, ed. 1, College Publications, Vol. 1, pp. 30, pp.1-30, 2016
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; RODRIGUES FILHO, Abilio Azambuja; Contradictions in reasoning: an evil or a blessing?, 12/2015, "Crossing Oceans: Exchange of Products, Instruments and Procedures in the History of Chemistry and Related Sciences - Selected Papers", Capítulo, ed. 1, CLE-UNICAMP, Vol. 1, pp. 18, pp.135-152, 2015
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; Contradictions, inconsistencies and other oxymora, 06/2015, "Why is this a proof?", Capítulo, ed. 1, College Publications, pp. 27, pp.197-223, 2015
|
CARNIELLI, Walter A.; CONIGLIO, Marcelo E.; On Discourses Addressed by Infidel Logicians, 12/2012, "Paraconsistency: Logic and Applications", Capítulo, ed. 1, Springer, Vol. 1, pp. 15, pp.27-41, 2012
|
CARNIELLI, Walter A.; Paul Bernays and the eve of non-standard models in logic, 12/2012, "Universal Logic: An Anthology - From Paul Hertz to Dov Gabbay", Capítulo, ed. 1, Birkhäuse, Vol. 18, pp. 9, pp.33-41, 2012
|
CARNIELLI, Walter A.; On discourses addressed by infidel logicians, 08/2011, "Paraconsistency: Logic and Applications", Capítulo, ed. 1, Springer, Vol. 1, pp. 12, pp.107-118, 2011
|
CARNIELLI, Walter A.; Formal polynomials, heuristics and proofs in logic, 11/2010, "Logical Investigations", Capítulo, ed. 1, Institute of Philosophy-Russian Academy of Sciences, Vol. 1, pp. 15, pp.280-294, 2010
|
CARNIELLI, Walter A.; On a Theoretical Analysis of Deceiving: How to Resist a Bullshit Attack, 08/2010, "Model-Based Reasoning in Science and Technology: Abduction Logic, and Computational Discovery", Capítulo, ed. 1, Springer, Vol. 1, pp. 8, pp.237-244, 2010
|
CARNIELLI, Walter A.; Formal polynomials and the laws of form, 08/2009, "Dimensions of Logical Concepts", Capítulo, ed. 1, CLE- UNICAMP, Vol. 54, pp. 12, pp.201-212, 2009
|
CARNIELLI, Walter A.; Are the foundations of computer science logic-dependent?, 11/2008, "Dialogues, Logics and Other Strange Things-Essays in Honour of Shahid Rahman", Capítulo, ed. 1, College Publications, pp. 21, pp.87-107, 2008
|
CARNIELLI, Walter A.; Unconventional models of computation through non-standard logic circuits, 06/2007, "Lecture Notes in Computer Science", Capítulo, ed. 1, Springer Berlin / Heidelberg, Vol. 4618, pp. 12, pp.29-40, 2007
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Possible-translations algebraizability, 04/2007, "Paraconsistent Logic Without Frontiers", Capítulo, ed. 1, Nort-Holland/Elsevier, Vol. 4, pp. 5, pp.85-89, 2007
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Logics of Formal Inconsistency, 03/2007, "Handbook of Philosophical Logic", Capítulo, ed. 1, Kluwer Academic Publishers, Vol. 14, pp. 6, pp.53-58, 2007
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Bridge principles and combined reasoning, 01/2007, "Logik, Begriffe, Prinzipien des Handelns", Capítulo, ed. 1, 1, Mentis Verlag, Vol. 1, pp. 17, pp.32-48, 2007
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Logics of Formal Inconsistency, 05/2006, "Handbook of Philosophical Logic", Capítulo, ed. 2, Dordrecht: Kluwer Academic Publishers, Vol. 14, pp. 26, pp.20-45, 2006
|
CARNIELLI, Walter A.; Polynomial Ring Calculus for Many-valued Logics. Multiple-Valued Logic., 05/2006, "36th International Symposium on Multiple-Valued Logic", Capítulo, ed. 1, IEEE Computer Society, Vol. 1, pp. 6, pp.20-25, 2006
|
CARNIELLI, Walter A.; Splitting Logics, 10/2005, "We Will Show Them! Essays in Honour of Dov Gabbay", Capítulo, ed. 1, King´s College Publications, Vol. 1, pp. 26, pp.389-414, 2005
|
CONIGLIO, Marcelo E.; DOTTAVIANO, Ítala M. Loffredo; CARNIELLI, Walter A.; An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic, 10/2005, "An Event on Brazilian Logic Part II. Proceedings of the XIII Brazilian Conference on Mathematical Logic", Capítulo, ed. 1, Oxford University Press, Vol. 1, pp. 24, pp.25-48, 2005
|
CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; Two´s company: 'The humbug of many logical values, 10/2005, "Logica Universalis", Capítulo, ed. 1, Jean-Yves Béziau, Vol. 1, pp. 21, pp.169-189, 2005
|
CARNIELLI, Walter A.; RASGA, João; SERNADAS, Cristina; Fibring of logics as a universal construction, 08/2005, "Handbook of Philosophical Logic", Capítulo, ed. 1, Springer/Dordrecht, pp. 65, pp.123-187, 2005
|
CUNHA, Denise; CONIGLIO, Marcelo E.; CARNIELLI, Walter A.; An inconherece in the AGM theory, 12/2004, "Lógica: Teoria, Aplicações e Reflexões", Capítulo, ed. 1, Centro de Lógica, Epistemologia e História da Ciência / UNICAMP, Vol. 39, pp. 11, pp.107-117, 2004
|
CARNIELLI, Walter A.; Logics for qualitative reasoning, 10/2004, "Logic, Epistemology and the Unity of Science", Capítulo, ed. 1, Kluwer Academic Publishers, pp. 40, pp.487-526, 2004
|
CARNIELLI, Walter A.; Cum iti construiesti propria logica paraconsistenta: O introducere in logicile (in)consistentei formale, 08/2004, "Ex Falso Quodlibet: studii die logica paraconsistenta", Capítulo, ed. 1, Editora Tehnica S.A., pp. 25, pp.134-158, 2004
|
CARNIELLI, Walter A.; A logical framework for integrating Incosistent information in multiple databases., 09/2002, "Lecture Notes in Computer Science.", Capítulo, ed. 1, Editora São paulo, Vol. 2284, pp. 18, pp.67-84, 2002
|
CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; A Taxonomy of C-Systems., 07/2001, "Paraconsistency: The Logical Way to the Inconsistent.", Capítulo, ed. 1, Editora Nova Iorque, Vol. 1, pp. 94, pp.1-94, 2001
|
CARNIELLI, Walter A.; Possible translations semantics for paraconsistent logics, 10/2000, "Frontiers in parconsistency logic: proceedings of the world congress on paraconsistency, Ghent", Capítulo, ed. 1, King's College Publication, pp. 114, pp.59-172, 2000
|
CARNIELLI, Walter A.; Society Semantics for Multiple-Valued Logics., 09/1999, "Advances in Contemporary and Computer science", Capítulo, ed. 1, Ann Aebor, Vol. 235, pp. 20, pp.33-52, 1999
|
CARNIELLI, Walter A.; An alternative view of default reasoning, 07/1999, "Proofs, Types and Categories.", Capítulo, ed. 1, Editora Rio de Janeiro, Vol. 1, pp. 32, pp.127-158, 1999
|
CARNIELLI, Walter A.; Auto-Organização em Estruturas Combinatórias, 07/1996, "Auto-Organização em Estruturas Combinatórias", Capítulo, Coleção CLE, Centro de Logica - CLEHC, Vol. 18, pp. 14, pp.63-76, 1996
|
CARNIELLI, Walter A.; Is there logic behind fuzzyness?, 07/1996, "Is there logic behind fuzzyness?", Capítulo, Coleção CLE, Centro de Logica - CLEHC, Vol. 14, pp. 20, pp.73-92, 1996
|
CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; A Paraconsistent Logic: J3, 08/1995, "A Paraconsistent Logic: J3", Capítulo, ed. 2, International Philosophy Series, Kluwer ac.Publ.Nijhoff, Vol. 35, pp. 23, pp.263-285, 1995
|
CARNIELLI, Walter A.; DOTTAVIANO, Ítala M. Loffredo; Paraconsistent logic-J3, 12/1990, "Paraconsistent logic-J3", Capítulo, International Philosophy Series, Kluwer ac. Publ.Nijhoff, Vol. 35, pp. 23, pp.263-285, 1990
|
CARNIELLI, Walter A.; 98i:03035 Admissibility of logical inference rules, 08/1998, "98i:03035 Admissibility of logical inference rules", Orelha, ed. 1, North-Holland Publishing Co., Vol. 1, pp. 11, pp.111-121, 1998
|
CARNIELLI, Walter A.; 98h:68212 Reasoning about information change, 06/1998, "98h:68212 Reasoning about information change", Orelha, ed. 1, Journal Logic Language Information, s.l.p., Vol. 6, pp. 23, pp.147-169, 1998
|
CARNIELLI, Walter A.; 88f:03057 - Review de :*A Conceptual approach to the Cartesian and distributive propositional calculi* para o Mathematical Reviews, 01/1998, "88f:03057 - Review de :*A Conceptual approach to the Cartesian and distributive propositional calcul", Orelha, ed. 1, Science and Philosophy, pp. 22, pp.446-467, 1998
|
CARNIELLI, Walter A.; 87g:05035 Symmetric designs with parameters, 08/1997, "87g:05035 Symmetric designs with parameters", Orelha, ed. 1, s.l.p., Vol. 21, pp. 9, pp.19-27, 1997
|
CARNIELLI, Walter A.; 97c:03097 A nonstandard approach to the logical omniscience problem., 06/1997, "97c:03097 A nonstandard approach to the logical omniscience problem.", Orelha, ed. 1, Artificial Inteligence, s.l.p., Vol. 79, pp. 38, pp.203-240, 1997
|
CARNIELLI, Walter A.; 96g:03035 - Modellings for belief change: prioritization and entrenchment, 07/1996, "96g:03035 - Modellings for belief change: prioritization and entrenchment", Orelha, ed. 1, s.l.p., Vol. 58, pp. 37, pp.21-57, 1996
|
CARNIELLI, Walter A.; 96k:03008 - What is a logical system?, 06/1996, "96k:03008 - What is a logical system?", Orelha, ed. 1, Oxford University Press, Vol. 4, pp. 454, pp.1-454, 1996
|
CARNIELLI, Walter A.; 95m:03054 - Review de : * Kleene's three-valued logics and their children* para Mathematical Reviews, 08/1995, "95m:03054 - Review de : * Kleene's three-valued logics and their children* para Mathematical Review", Orelha, ed. 1, s.l.p., Vol. 20, pp. 19, pp.113-131, 1995
|
CARNIELLI, Walter A.; 95e:03001 - Review de : *Lógica indutiva e probabilidade* para o Mathematical Reviews, 01/1994, "95e:03001 - Review de : *Lógica indutiva e probabilidade* para o Mathematical Reviews", Orelha, ed. 2, Editora Hucitec; Editora da USP, Vol. 1, pp. 91, pp.1-91, 1994
|
CARNIELLI, Walter A.; 95d:02027 - Review de : *Assunta two assertions of Aristotle* para o Mathematical Reviews, 01/1994, "95d:02027 - Review de : *Assunta two assertions of Aristotle* para o Mathematical Reviews", Orelha, ed. 1, Atti Accad. Pontiniana, Vol. 41, pp. 25, pp.219-243, 1994
|
CARNIELLI, Walter A.; 94g03027 - Review de : *A generalized viewpoint* para o Mathematical Reviews, 01/1994, "94g03027 - Review de : *A generalized viewpoint* para o Mathematical Reviews", Orelha, ed. 1, A Bradford Book. MIT Press, Cambridge, pp. 178, pp.1-178, 1994
|
CARNIELLI, Walter A.; 93j:03015 - Review de : *Conditional inference and logic for intelligent systems* para Mathematical Reviews, 06/1993, "93j:03015 - Review de : *Conditional inference and logic for intelligent systems* para Mathematical", Orelha, North-Holland Publishing, 1993
|
CARNIELLI, Walter A.; 93e03009 - Review de : *Matrix logic and mind. A probe into a unified theory of mind and matter* para o Mathematical Reviews, 04/1993, "93e03009 - Review de : *Matrix logic and mind. A probe into a unified theory of mind and matter* par", Orelha, ed. 1, North-Holland Publishing Co., 1993
|
CARNIELLI, Walter A.; 92a:03021 - Review de : *New foundations for deontic logic* para o Mathematical Reviews, 03/1993, "92a:03021 - Review de : *New foundations for deontic logic* para o Mathematical Reviews", Orelha, s.l.p., Vol. 11, pp. 5, pp.5-9, 1993
|
CARNIELLI, Walter A.; 91g:03047 - Review de :*Truth and modality for knowledge representation* para o Mathematical Reviews, 01/1991, "91g:03047 - Review de :*Truth and modality for knowledge representation* para o Mathematical Reviews", Orelha, Pitman Publishing Ltd., 1991
|
CARNIELLI, Walter A.; 90k:03019 - Review de : *Three-valued logics: an introduction, a comparison of various logical lexica, and some philosophical remarks* para o Mathematical Reviews, 01/1990, "90k:03019 - Review de : *Three-valued logics: an introduction, a comparison of various logical lexic", Orelha, Ann. Pure Appl. Logic, Vol. 43, pp. 47, pp.99-145, 1990
|
CARNIELLI, Walter A.; Many-valued logic in statu nascendi, 12/1989, "Many-valued logic in statu nascendi", Orelha, ed. 1, Teoria, s.l.p, Vol. 9, pp. 6, pp.57-62, 1989
|
CARNIELLI, Walter A.; A Routley-Meyer semantics for converse Ackermann properly, 08/1987, "A Routley-Meyer semantics for converse Ackermann properly", Orelha, ed. 1, s.l.p., Vol. 16, pp. 12, pp.65-76, 1987
|
CARNIELLI, Walter A.; 87d:03054 - Review de : *A descending chain of incomplete extensions of implicational S5* para o Mathematical Reviews, 01/1987, "87d:03054 - Review de : *A descending chain of incomplete extensions of implicational S5* para o Mat", Orelha, Z. Math. Logik Grundl. Math., s.l.p., Vol. 31, pp. 8, pp.201-208, 1987
|
CARNIELLI, Walter A.; 97b:03134 - Review de : *L-consistency and the diamond* para o Mathematical Reviews, 01/1987, "97b:03134 - Review de : *L-consistency and the diamond* para o Mathematical Reviews", Orelha, Notre Dame J. Formal Logic, s.l.p., Vol. 26, pp. 7, pp.341-347, 1987
|
CARNIELLI, Walter A.; 86m:03085 - Review de : *Modal set theory. Proceedings of the second Easter conference on model theory* para o Mathematical Reviews, 03/1986, "86m:03085 - Review de : *Modal set theory. Proceedings of the second Easter conference on model theo", Orelha, Huldoldt Univ., Vol. 60, pp. 13, pp.87-99, 1986
|
CARNIELLI, Walter A.; 86k:03012 - Review de : *Paraconsistent logic* para o Mathematical Reviews, 01/1986, "86k:03012 - Review de : *Paraconsistent logic* para o Mathematical Reviews", Orelha, Naples, 1986
|
CARNIELLI, Walter A.; 86j:03010 - Review de :*Qualques foncteurs faussement primitifs en logique diontique (trivalence et action)* para o Mathematical Reviews, 01/1986, "86j:03010 - Review de :*Qualques foncteurs faussement primitifs en logique diontique (trivalence et", Orelha, Logique et Analyze, s.l.p., Vol. 27, pp. 13, pp.393-405, 1986
|
CARNIELLI, Walter A.; 86i:03031 - Review de : *On metalogic and three-valued logic* para a Mathematical Reviews, 01/1986, "86i:03031 - Review de : *On metalogic and three-valued logic* para a Mathematical Reviews", Orelha, Teorema, s.l.p., Vol. 13, pp. 36, pp.225-260, 1986
|
CARNIELLI, Walter A.; 86a:03063 - Review de: *Hauptsatz for higher-order modal logic* para Mathematical Reviews, 01/1986, "86a:03063 - Review de: *Hauptsatz for higher-order modal logic* para Mathematical Reviews", Orelha, Journal of Symbolic Logic, s.l.p., Vol. 48, pp. 20, pp.174-193, 1986
|
CARNIELLI, Walter A.; 86a03063 - Review de: *An extend joint consistency theorem for a family of free modal logics with equality* para Mathematical Reviews, 01/1986, "86a03063 - Review de: *An extend joint consistency theorem for a family of free modal logics with eq", Orelha, Journal of Symbolic Logic, s.l.p., pp. 10, pp.174-183, 1986
|
CARNIELLI, Walter A.; On a general theory of properties based an type-free iterated comprehension schemes 88m:03089, 12/1985, "On a general theory of properties based an type-free iterated comprehension schemes 88m:03089", Orelha, ed. 1, Proceedings of the conferences on math. logic, Padova, Univ. de Siena, Vol. 3, pp. 5, pp.53-57, 1985
|
CARNIELLI, Walter A.; 89b03099 - Review de :*On undecidability of the weakened Kruskal theorem* para o Mathematical Reviews, 01/1985, "89b03099 - Review de :*On undecidability of the weakened Kruskal theorem* para o Mathematical Review", Orelha, American Mathematical Society - Province, Vol. 65, pp. 6, pp.275-280, 1985
|
CARNIELLI, Walter A.; 85e:03026 - Review de: *Logical aspects of combinatorial duality* para Mathematical Reviews, 01/1985, "85e:03026 - Review de: *Logical aspects of combinatorial duality* para Mathematical Reviews", Orelha, Canad. Math. Bull., s.l.p., Vol. 27, pp. 6, pp.251-256, 1985
|
CARNIELLI, Walter A.; 85d:03042 - Review de: *Le carré chrysippien des modalités* para Mathematical Reviews, 01/1985, "85d:03042 - Review de: *Le carré chrysippien des modalités* para Mathematical Reviews", Orelha, Dialetica, The Chrysippean square of modalities, Vol. 37, pp. 13, pp.235-247, 1985
|
|
Título do projeto
|
Agência/Tipo financiamento/Complemento/Valor/Processo
|
Situação
|
|
A INTERPRETACAO DE WITTGENSTEIN SOBRE O TEOREMA DA INCOMPLETUDE DE GODEL
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$36501,96 - Processo: 2022/00703-0
aluno:RAFAEL DOS SANTOS ONGARATTO
orientador:Walter Alexandre Carnielli
|
Em Andamento
|
|
DINTER - Doutorado Interinstitucional entre PPGF/UNICAMP e UFAM
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Outras bolsas / Convênio CAPES/DINTER/UFAM / null -
|
Concluído
|
|
SOBRE AS CONDICOES PARA UMA COMPARACAO DO COMPROMETIMENTO ONTOLOGICO ENTRE TEORIAS (Estágio de Pesquisa no Exterior na City University of New York. Supervisor no Exterior: Joel David Hamkins. Vinculado à Bolsa no País Processo: 16/10497-8 . Orientado: Alfredo Roque de Oliveira Freire Filho)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO EXTERIOR - ESTAGIO PESQUISA DD / R$106928,83 - Processo: 2017/21020-0
aluno:Alfredo Roque de Oliveira Freire Filho
orientador:Walter Alexandre Carnielli
|
Em Andamento
|
|
Cooperation with German Colleagues
|
Alexander von Humboldt Stiftung - Auxílio Pesquisa / R$45013,21 -
|
Concluído
|
|
17TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio part. Reunião / AUXILIO-REUNIAO-EXTERIOR / R$10013,51 - Processo: 2017/06560-9
|
Concluído
|
|
Consequências de paralelos entre lógica dedutiva e probabilidade para a argumentação informal. Orientado: Daniel Alves da Silva Lópes
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Daniel Alves da Silva Lopes Diniz
orientador:Walter Alexandre Carnielli
|
Em Andamento
|
|
Lógica e probabilidade. Orientada: Maíra Bittencourt
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa Mestrado MS / R$30000,00 -
aluno:Maíra Bittencourt
orientador:Walter Alexandre Carnielli
|
Em Andamento
|
|
TRENDS IN LOGIC XVI: CONSISTENCY, CONTRADICTION, PARACONSISTENCY AND REASONING - 40 YEARS OF CLE
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$12455,26 - Processo: 2015/24124-6
|
Concluído
|
|
ESTUDO COMPARADO DO COMPROMETIMENTO ONTOLOGICO DAS TEORIAS DE CLASSES E CONJUNTOS (Vinculado ao Processo 17/21020-0 Estágio de Pesquisa no Exterior. Orientado: Alfredo Roque de Oliveira Freire Filho )
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$85335,04 - Processo: 2016/10497-8
aluno:Alfredo Roque de Oliveira Freire Filho
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
Condicionais Contrafatuais e Contrapossíveis. Orientado: Igor de Camargo e Souza Câmara
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Igor de Camargo e Souza Câmara
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
UMA ANALISE LOGICA DA NOCAO DE CONSISTENCIA NA PRATICA DA TEORIA DOS CONJUNTOS. (Orientado: Giorgio Venturi )
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no exterior PD / BOLSA NO EXTERIOR - ESTAGIO PESQUISA PD / R$242048,89 - Processo: 2014/25342-4
|
Concluído
|
|
Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedade. Orientado: Edson Vinicius Bezerra
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Edson Vinicius Bezerra
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
EM DIRECAO A UM MARCO LOGICO UNITARIO PARA A NAO-MONOTONIDADE E A PARACONSISTE NCIA (Supervisionado: Gabriele Pulcini)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$182750,47 - Processo: 2013/22371-0
|
Concluído
|
|
Contradictions for Free: A Nominalistic Interpretation of Inconsistent Mathematics. Orientado: Henrique Antunes Almeida
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Doutorado DR / R$105600,00 -
aluno:Henrique Antunes Almeida
orientador:Walter Alexandre Carnielli
|
Em Andamento
|
|
Teoria Tradicional da Informação Semântica sem Escândalo da Dedução: Uma reavaliação moderadamente externalista do tópico baseada em semântica urna e uma aplicação paraconsistente. Orientado: Bruno Ramos Mendonça
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$105600,00 -
aluno:Bruno Ramos Mendonça
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
SISTEMAS AXIOMATICOS PARA A TEORIA DE CONJUNTOS (Supervisionado: Rodrigo de Alvarenga Freire)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$77511,23 - Processo: 2012/20599-1
|
Concluído
|
|
Lógica, probabilidade e consequência. Orientado: Sandro Marcio da Silva Preto
|
Coordenação do Aperfeiçoamento de Pessoal de Nível Superior - Bolsa Mestrado MS / R$36000,00 -
aluno:Sandro Márcio da Silva Preto
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
Lógica Contemporânea e os Fundamentos da Matemática e da Computação
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1B (Incluso valor mensal adicional bancada R$ 1100,00) / R$120000,00 - Processo: 301937/2011-7
|
Concluído
|
|
ASPECTOS LOGICOS E COMPUTACIONAIS DO METODO DE DEMONSTRACOES VIA POLINOMIOS FORMAIS
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$7226,54 - Processo: 2011/22691-0
aluno:Victor Fernando Pompeo Barbosa
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
Revisitando o Teorema de Frege. Orientado: Henrique Antunes Almeida
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa Mestrado MS / R$36000,00 -
aluno:Henrique Antunes Almeida
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
Lógica Contemporânea e os Fundamentos da Matemática e da Computação (Produtividade em Pesquisa - 1B)
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Inclusa Taxa de Bancada no valor R$ 1.100,00 mensal / R$210000,00 -
|
Em Andamento
|
|
16.0 ENCONTRO BRASILEIRO DE LOGICA PETROPOLIS RJ
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$22876,39 - Processo: 2011/50081-1
|
Concluído
|
|
Conciencia, Lógica y Computación (Produtividade em Pesquisa)
|
Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa produtividade / Nível 1B (Incluso valor mensal adicional bancada R$ 1100,00 / R$120000,00 -
|
Concluído
|
|
LOGICAL CONSEQUENCE, REASONING AND COMPUTATION - LOGCONS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Projeto tematico / TEMATICO / R$253291,22 - Processo: 2010/51038-0
|
Concluído
|
|
O SIGNIFICADO DAS SENTENCAS ARITMETICAS, A DEFINIBILIDADE CONJUNTISTA E O PAPEL DA TEORIA DAS CATEGORIAS NA SEMANTICA DE SISTEMAS LOGICOS (Supervisionado: Rodrigo de Alvarenga Freire)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Pos doutorado no país PD / BOLSA NO PAIS-PD / R$213616,39 - Processo: 2009/10751-8
|
Concluído
|
|
ASPECTOS LOGICOS E ONTOLOGICOS DE UMA ARITMETICA GENERALIZADA
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$68787,34 - Processo: 2008/06205-5
aluno:Anderson Beraldo de Araújo
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
COMPUTABILIDADE E INDECIDIBILIDADE
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS-IC / R$3398,40 - Processo: 2007/08722-4
aluno:Igor Carboni Oliveira
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
POLINOMIZANDO: UM METOD DE REPRESENTACAO EM LOGICA, COM RAIZES EM LEIBNIZ E BOOLE.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-I / R$24114,42 - Processo: 2006/05429-1
aluno:Pietro Kreitlon Carolino
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
DE GODEL A KRIPKE: INCOMPLETUDE, VERDADE E PARACONSISTENCIA.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Mestrado MS / BOLSA NO PAIS-MS-II / R$32272,02 - Processo: 2006/01786-4
aluno:Anderson Beraldo de Araújo
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
COMPUTACAO QUANTICA, COMPUTACAO PARACONSISTENTE E LOGICA: INTERRELACOES E FUNDAMENTOS DOS ALGORITMOS QUANTICOS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DR-II / R$100262,04 - Processo: 2005/04123-3
aluno:Juan Carlos Agudelo Agudelo
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
COMPUTABILIDADE: FUNCOES COMPUTAVEIS, LOGICA E OS FUNDAMENTOS DA MATEMATICA
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio publicação / AUXILIO-PUBLICACAO / R$7000,00 - Processo: 2005/55231-0
|
Concluído
|
|
FUNDAMENTOS DE TEORIA DE ESTRUTURAS COMO BASE PARA UMA FILOSOFIA DA MATEMATICA.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Doutorado DR / BOLSA NO PAIS-DD-4 / R$64834,52 - Processo: 2005/55203-7
aluno:Rodrigo de Alvarenga Freire
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio organiz reunião / AUXILIO-ORGANIZACAO-REUNIAO / R$12767,76 - Processo: 2005/54663-4
|
Concluído
|
|
Logical consequence and combinations of logics - fundaments and efficient applications. (Projeto Temático)
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Projeto tematico / TEMATICO / R$332948,00 - Processo: 2004/14107-2 - Area: Educação
|
Concluído
|
|
1) LIMITS FOR PARACONSISTENT CALCULI. 2) TABLEAU SYSTEMAS FOT LOGICS OF FORMAL INCONSISTENCY.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio part. Reunião / AUXILIO-REUNIAO-EXTERIOR / R$8134,69 - Processo: 2001/04265-1
|
Concluído
|
|
PROVADORES ALGEBRICOS DE TEOREMAS E SUA COMPLEXIDADE.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa Iniciação Científica IC / BOLSA NO PAIS IC / R$3960,00 - Processo: 2001/01502-2
aluno:Cleber Valgas Gomes Mira
orientador:Walter Alexandre Carnielli
|
Concluído
|
|
RYSZARD WOJCICKI
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxilio prof visitante / AUXILIO-VISITANTE EXTERIOR / R$4430,47 - Processo: 2000/02059-2
|
Concluído
|
|
JOSE CARLOS CIFUENTES VASQUEZ, SETOR CIENCIAS EXATAS/UFPR, BRASIL
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$14212,5 - Processo: 1997/03387-9
|
Concluído
|
|
NON-DETERMINISTIC SEMANTICS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$3301,0 - Processo: 1997/02765-0
|
Concluído
|
|
XAVIER CAICEDO, UNIVERSIDAD DE LOS ANDES, COLOMBIA
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$42834,9 - Processo: 1995/06728-6
|
Concluído
|
|
WHAT S WRONG WITH SO CALLED DEFAULT LOGIC?
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$420,0 - Processo: 1995/02984-8
|
Concluído
|
|
ASPECTOS MATEMÁTICOS E COMPUTACIONAIS DAS TRADUÇÕES ENTRE LÓGICAS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$21541,67 - Processo: 1993/00925-9 - Area: Educação
|
Concluído
|
|
DEFAULT OPERATORS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$1048,0 - Processo: 1994/02128-1
|
Concluído
|
|
INTRODUCAO AS LOGICAS DIFUSAS: TEORIA E APLICACOES.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$1209,22 - Processo: 1992/00138-4
|
Concluído
|
|
INTRODUCAO AS LOGICAS PARACONSISTENTES - TEORIA E APLICACOES.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$806,15 - Processo: 1992/00140-9
|
Concluído
|
|
CONTEXTUAL NEGATIONS AND REASONING WITH CONTRADICTIONS.
|
Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio Pesquisa / R$3147,95 - Processo: 91/01800-0
|
Concluído
|
|
Nome do candidato
|
Instituição
|
Natureza
|
Titular/Suplente
|
|
Carlos Gonzales
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Titular
|
|
Frank Thomas Sautter
|
Universidade Estadual de Campinas
|
Mestrado Unicamp antes de 2001
|
Titular
|
|
Mamede Lima-Marques
|
Universidade Federal de Uberlândia
|
Exame de qualificação
|
Titular
|
|
Denise Silva Vilela
|
Universidade Estadual de Campinas
|
Mestrado Unicamp antes de 2001
|
Titular
|
|
Ricardo Bianconi
|
Universidade de São Paulo
|
Concurso de Livre Docência
|
Titular
|
|
Daniel Durante Pereira Alves
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Titular
|
|
Jairo José da Silva
|
Universidade Estadual Paulista Júlio de Mesquita Filho
|
Concurso de Livre Docência
|
Titular
|
|
Paulo Mondec
|
Universidade Estadual de Campinas
|
Doutorado Unicamp antes de 2001
|
Titular
|
|
Olga Geromel Fischer
|
Universidade Estadual Paulista Júlio de Mesquita Filho
|
Mestrado fora da Unicamp
|
Titular
|
|
|
Universidade Estadual de Campinas
|
Pré-Tese
|
Titular
|
|
Rodolfo Cristian Ertola Biraben
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Titular
|
|
Hercules de Araujo Feitosa
|
Universidade Estadual Paulista Júlio de Mesquita Filho
|
Doutorado fora da Unicamp
|
Suplente
|
|
José Carlos Cifuentes Vásquez
|
Universidade Estadual de Campinas
|
Doutorado Unicamp antes de 2001
|
Titular
|
|
Émerson Luíz do Monte Carmelo
|
Universidade Estadual de Campinas
|
Mestrado Unicamp antes de 2001
|
Titular
|
|
Denise Silva Vilela
|
Universidade Estadual de Campinas
|
Mestrado Unicamp antes de 2001
|
Suplente
|
|
|
Faculdade de Filosofia e Ciências/UNESP/Marília
|
Professor Assistente
|
Titular
|
|
|
Universidade de São Paulo
|
Adjunto
|
Titular
|
|
|
Instituto de Matemática e Estatística - USP
|
Outras bancas de avaliação
|
Titular
|
|
Profa. Dra. Lúcia Renato Junqueira
|
Instituto de Matemática e Estatística - USP
|
Concurso de Livre Docência
|
Titular
|
|
Leonardo Prieto Sanabria
|
Instituto de Matemática e Estatística - USP
|
Doutorado fora da Unicamp
|
Titular
|
|
Marcelo Esteban Coniglio
|
Departamento de Filosofia - IFCH - Unicamp
|
Concurso de Livre Docência
|
Titular
|
|
Irene de Castro Pereira
|
Instituto de Matemática e Estatística - USP
|
Doutorado fora da Unicamp
|
Suplente
|
|
Rafael Rodrigues Testa
|
Universidade Estadual de Campinas
|
Trabalho de Conclusão na Graduação
|
Titular
|
|
Concurso Público para Professor Titular
|
Universidade Estadual Paulista - Campus de Araraquara
|
Concurso para provimento de Cargo de Professor Titular
|
Titular
|
|
Newton Marques Peron
|
Universidade Estadual de Campinas
|
Trabalho de Conclusão na Graduação
|
Presidente
|
|
Concurso Professor Titular USP
|
Universidade de São Paulo
|
Concurso para provimento de Cargo de Professor Titular
|
Titular
|
|
Fabricio Vasconcelos Gomes
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Presidente
|
|
Juan Carlos Agudelo Agudelo
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Presidente
|
|
Daniel Liberalino Monte
|
Universidade Estadual de Campinas
|
Exame de qualificação
|
Titular
|
|
David Sena Oliveira
|
Universidade Federal do Ceará
|
Doutorado fora da Unicamp
|
Titular
|
|
Samir Bezerra Gorsky
|
Universidade Estadual de Campinas
|
Exame de qualificação Geral (DOUTORADO)
|
Presidente
|
|
Juan Carlos Agudelo Agudelo
|
Universidade Estadual de Campinas
|
Exame de qualificação Geral (DOUTORADO)
|
Presidente
|
|
Rodrigo Roque Dias
|
Universidade de São Paulo
|
Doutorado fora da Unicamp
|
Presidente
|
|
Inscrito: Lucas Angioni
|
Universidade Estadual de Campinas
|
Concurso de Livre Docência
|
Suplente
|
|
Otávio José Neto Tinoco Neves dos Santos
|
Universidade Estadual de Maringá
|
Doutorado fora da Unicamp
|
Titular
|
|
Luís Cláudio Balan de Campos
|
Universidade Estadual Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Titular
|
|
Ismael de Moura Costa
|
Universidade de Brasilia
|
Exame de qualificação de Área (DOUTORADO)
|
Titular
|
|
Pedro Henrique Carrasqueira Zanei
|
Universidade Estadual Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Presidente
|
|
Glauber De Bona
|
Universidade de São Paulo
|
Doutorado fora da Unicamp
|
Titular
|
|
Rafael Fernandes de Barros Costa Azevedo
|
Universidade de Brasilia
|
Mestrado fora da Unicamp
|
Titular
|
|
Candidato Inscrito: Dirk Greimann
|
Universidade Federal Fluminense
|
Concurso para provimento de Cargo de Professor Titular
|
Titular
|
|
Henrique Yuji Rossetti Inonhe
|
Universidade Estadual de Campinas
|
Trabalho de Conclusão na Graduação
|
Presidente
|
|
Abner de Mattos Brito
|
Universidade Estadual Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Titular
|
|
Inscrito: Silvio Seno Chibeni
|
Universidade Estadual de Campinas
|
Concurso para provimento de Cargo de Professor Titular
|
Presidente
|
|
João Vítor Schmidt
|
Universidade Estadual de Campinas
|
Exame de qualificação Geral (MESTRADO)
|
Titular
|
|
Teófilo de Souza Carmo Reis
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Pedro Henrique Carrasqueira Zanei
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Pietro Kreitlon Carolino
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Alexandre Fernandes Batista Costa Leite
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Newton Marques Peron
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Newton Marques Peron
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Paulo Roberto Petrillo
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Tomas Andres Barrero Guzman
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Juan Carlos Agudelo Agudelo
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Juan Carlos Agudelo Agudelo
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Rodrigo de Alvarenga Freire
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Samir Bezerra Gorsky
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Samir Bezerra Gorsky
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Rodrigo Podiacki Barreto de Menezes
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Anderson Beraldo de Araújo
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
María Inés Corbalán
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Pedro Mendes Ferreira Lemos
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Mariana Matulovic da Silva
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Carolina Blasio da Silva
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Abner de Mattos Brito
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Ana Flávia de Faria Cholodovskis
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Henrique Antunes Almeida
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Henrique Antunes Almeida
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Guilherme Vicentin de Toledo
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Sandro Márcio da Silva Preto
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Alfredo Roque de Oliveira Freire Filho
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
João Antonio de Moraes
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Bruno Ramos Mendonça
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Edson Vinicius Bezerra
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Hendrick Cordeiro Maia e Silva
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Vincenzo Ciccarelli
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Igor de Camargo e Souza Câmara
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Wagner de Mello Elias
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Luís Cláudio Balan de Campos
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Antonio Marmo da Cunha Oliveira
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Cassiano Terra Rodrigues
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Denise Maria Maldonado da Cunha
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
Augusto Andraus
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Fabricio Vasconcelos Gomes
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Presidente
|
|
João Marcos de Almeida
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Presidente
|
|
Luís Augusto Sbardellini
|
Universidade Estadual de Campinas
|
DOUTORADO NA UNICAMP
|
Membro
|
|
Víctor Leandro Fernández
|
Universidade Estadual de Campinas
|
MESTRADO NA UNICAMP
|
Membro
|
|
Grupos de Pesquisa
|
2
|
|
Grupos de Pesquisa
|
2
|
|
Artigos publicados em periódicos especializados arbitrados de circulação
|
77
|
|
Internacional
|
55
|
|
Nacional
|
22
|
|
Trabalhos completos e resumos publicados em anais de congressos
|
46
|
|
Trabalho Completo - Internacional
|
8
|
|
Trabalho Completo - Nacional
|
4
|
|
Resumo - Internacional
|
20
|
|
Resumo - Nacional
|
14
|
|
Artigos publicados em periódicos especializados não arbitrados e resumos
|
3
|
|
Periódicos especializados não arbitrados
|
2
|
|
Resumos em periódicos especializados (internacionais)
|
1
|
|
Artigos publicados em periódicos não especializados de circulação
|
2
|
|
Internacional
|
2
|
|
Artigos e trabalhos completos aceitos para publicação
|
3
|
|
Em periódicos arbitrados (internacional)
|
2
|
|
Em anais de Congresso (internacional)
|
1
|
|
Participações em eventos científicos internacionais
|
111
|
|
Trabalhos apresentados (oralmente)
|
92
|
|
Trabalhos apresentados (posters)
|
1
|
|
Trabalhos apresentados de outras formas
|
1
|
|
Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
|
16
|
|
Participação como membro de comissão
|
1
|
|
Participações em eventos científicos nacionais
|
37
|
|
Trabalhos apresentados (oralmente)
|
33
|
|
Trabalhos apresentados de outras formas
|
1
|
|
Outras formas de participação(Coordenador de mesa redonda, debatedor de mesa redonda, debatedor de painel, coordenador de sessão técnica, outra)
|
3
|
|
Comunicações em outros tipos de eventos e outras publicações de caráter variado
|
14
|
|
Entrevistas e outras divulgações
|
7
|
|
Outras
|
7
|
|
Outras Publicações
|
7
|
|
Desenvolvimento ou geração de trabalhos técnicos
|
6
|
|
Trabalhos computacionais - Sem ítens registrados
|
1
|
|
Outros - Sem ítens Registrados
|
5
|
|
Livros
|
98
|
|
Publicados
|
13
|
|
Capítulos de livros publicados
|
40
|
|
Capítulos de livros aceitos para publicação
|
1
|
|
Prefácios de livros
|
4
|
|
Edição ou Organização de livros
|
6
|
|
Reedição com revisão
|
1
|
|
Resenhas / Ilustração / Verbete
|
2
|
|
Orelhas de livros
|
30
|
|
Traduções de livros/capítulos
|
1
|
|
Relatórios Técnicos
|
2
|
|
Relatórios Técnicos
|
2
|
|
Seminários, palestras, conferências e mesas-redondas proferidas em instituições
|
26
|
|
Nacionais
|
7
|
|
Internacionais
|
19
|
|
Livros Didáticos
|
5
|
|
Publicados
|
2
|
|
Capítulos de livros publicados
|
3
|
|
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
|
32
|
|
Organização de eventos científicos, culturais e artísticos, vinculados ao Ensino
|
32
|
|
Atividades de extensão e serviço à comunidade
|
46
|
|
Consultoria e/ou assessoria a agências de fomento à pesquisa e ao ensino (inclusive como coordenador de área, membro de comitê assessor e assessor ad hoc)
|
5
|
|
Consultoria e/ou assessoria a órgãos públicos municipais/estaduais/federais
|
1
|
|
Consultoria e/ou assessoria a empresas públicas ou privadas e outras organizações
|
2
|
|
Participação em Cursos e Disciplinas
|
11
|
|
Atividades como editor ou membro de conselho/corpo editorial de periódicos
|
12
|
|
Atividades eventuais de editoria
|
5
|
|
Arbitragem de artigos
|
3
|
|
Outros Serviços
|
7
|
|
Atividades de Orientação e Supervisão
|
37
|
|
Iniciação Científica
|
4
|
|
Mestrado / Doutorado
|
31
|
|
Pós-Doutorado
|
2
|
|
Orientação vinculada a programas especiais de Ensino
|
4
|
|
Orientação no Programa de Estágio de Capacitação Docente (PED)
|
3
|
|
Orientação Especial de Estudante (Monografia, Bolsa de trabalho SAE, Bolsista estrangeiro(IAESTE, Intercampus, ECUNY e outros) , Estudante Especial, Outros)
|
1
|
|
Projetos Vinculados ao Ensino
|
6
|
|
Com financiamento
|
4
|
|
Sem financiamento
|
2
|
|
Projetos de Pesquisa
|
57
|
|
Com financiamento
|
46
|
|
Sem financiamento
|
11
|
|
Projetos em colaboração com outras instituições
|
5
|
|
Estrangeiras
|
1
|
|
Brasileiras (incluindo projetos temáticos da FAPESP, Projetos Integrados e Entidades de Pesquisa ou Ensino associadas ao CNPq, projetos conjuntos no PADCT, na FINEP, promoção conjunta de eventos, publicações, mostras artísticas, montagens, etc.).
|
4
|
|
Organização de eventos científicos, culturais e artísticos e cursos de curta duração
|
9
|
|
Organização de eventos científicos, culturais e artísticos e cursos de curta duração
|
9
|
|
Linhas de Pesquisa
|
6
|
|
Ativas nas produções, projetos, grupos e trabalhos de conclusão graduação/livre docência
|
6
|
|
Participação em bancas examinadoras
|
87
|
|
Natureza: exames de qualificação de mestrado ou doutorado, defesas de tese de mestrado ou doutorado, concurso para a carreira docente
|
87
|
|
Atividades Administrativas
|
21
|
|
No âmbito da Unidade/Centro/Núcleo
|
3
|
|
No âmbito da Universidade
|
13
|
|
Fora da Universidade (Governo Federal, Estadual e Municipal, Fundações, etc.)
|
5
|
|
Prêmios e Homenagens Recebidas
|
4
|
|
Prêmios e Homenagens recebidas pelo pesquisador e pela sua participação em produções, projetos e teses premiados
|
4
|
