|
|
Centro de Lógica, Epistemologia e Historia da Ciencia
Produções / Resumos Publicados
Resumos publicados em anais de congressos
Nacional
1.
|
|
MORAES, João Antonio de; ICT, society, and the emergence of the hybrid beings, 12/2015, 10th INTERNATIONAL BRAZILIAN MEETING ON COGNITIVE SCIENCE - EBICC,Vol. 1, pp.41-43, sÃo Paulo, SP, Brasil, 2015. Resumo expandido *
|
Internacional
1.
|
|
CONIGLIO, Marcelo E.; SANABRIA, Leonardo Prieto; Modal logic S4 as a paraconsistent logic with a topological semantics, 12/2015, 1st joint meeting Brazil-Spain, Fortaleza, 2015,Vol. ., pp.88-88, Fortaleza, CE, Brasil, 2015 *
|
2.
|
|
SILVA, Carolina Blasio da; Up the Hill: on the notion of information in logics based on the four-valued bilattice, 09/2015, NAT@Logic 2015,Vol. ., pp.1-1, Natal, RN, Brasil, 2015 *
|
3.
|
|
GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; Sobre a História das Hiperestruturas, 08/2015, 9 IX Principia International Symposium Possible Worlds and Their Application in Philosophy and the Sciences,Vol. ., pp.11-12, Floraianópolis, SC, Brasil, 2015 *
|
4.
|
|
CARNIELLI, Walter A.; RODRIGUES FILHO, Abilio Azambuja; An epistemic approach to paraconsistency: dealing with evidence and truth, 06/2015, 5th World Congress and School on Universal Logic,Vol. 1, pp.133-134, Istanbul, Turquia, 2015 *
|
5.
|
|
RODRIGUES FILHO, Abilio Azambuja; CARNIELLI, Walter A.; What would be a falsitymaker for the principle
of non-contradiction?, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.145-146, Istanbul, Turquia, 2015 *
|
6.
|
|
GOLZIO, Ana Cláudia de Jesus; CONIGLIO, Marcelo E.; On non-deterministic algebras, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.374-374, Istanbul, Turquia, 2015 *
|
7.
|
|
RODRIGUES, A. P.; DOTTAVIANO, Ítala M. Loffredo; The Category TrCx and some results, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.375-375, Istanbul, Turquia, 2015 *
|
8.
|
|
OLIVEIRA, Kleidson Ê. Carvalho Silva; CONIGLIO, Marcelo E.; Some Results on 3-valued Paraconsistent Logic Programming, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.277-278, Istanbul, Turquia, 2015 *
|
9.
|
|
SOARES, Marcelo Reicher; DOTTAVIANO, Ítala M. Loffredo; Studies on da Costa’s paraconsistent differential calculus, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.284-284, Istanbul, Turquia, 2015 *
|
10.
|
|
TESTA, R. R.; CONIGLIO, Marcelo E.; RIBEIRO, Márcio Moretto; Clarifying some rationality criteria of AGM-like Paraconsistent Belief Revision, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.285-285, Istanbul, Turquia, 2015 *
|
11.
|
|
MENDONÇA, Bruno Ramos; Logical consequence and measuring of semantic information via distributive normal forms, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.247-248, Istanbul, Turquia, 2015 *
|
12.
|
|
SILVA, Marcos Augusto Alves da; DOTTAVIANO, Ítala M. Loffredo; A quantitative-informational approach to logical consequence, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.228-229, Istanbul, Turquia, 2015 *
|
13.
|
|
CONIGLIO, Marcelo E.; PERON, Newton Marques; Dugundji’s Theorem, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.26-27, Istanbul, Turquia, 2015 *
|
14.
|
|
ALMEIDA, Edgar Luís Bezerra de; FREIRE, Rodrigo de Alvarenga; Fixing Truth Values for Arithmetical Sentences, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.313-314, Istanbul, Turquia, 2015 *
|
15.
|
|
ALMEIDA, Henrique Antunes; A Contextual Definition of an Abstraction Operator
in Second-Order Logic, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.314-314, Istanbul, Turquia, 2015 *
|
16.
|
|
FREIRE FILHO, Alfredo Roque de Oliveira; Foundations of semantic and syntactic proofs in the context
of metatheories, 06/2015, 5th World Congress and School on Universal Logic,Vol. ., pp.321-321, Istanbul, Turquia, 2015 *
|
17.
|
|
GILBERT, David Robert; VENTURI, G.; Reflexive Insensitive Modal Logics, 06/2015, 5th World Congress and School on Universal Logic,Vol. 1, pp.268-268, Istanbul, Turquia, 2015 *
|
18.
|
|
CONIGLIO, Marcelo E.; Consistency, Contradiction and Negation: a thorough project, 04/2015, Second Workshop CLE-Buenos Aires Logic Group,Vol. ., pp.1-1, Campinas, SP, Brasil, 2015 *
|
19.
|
|
CARNIELLI, Walter A.; A logic for evidence and truth, 04/2015, Second Workshop CLE-Buenos Aires Logic Group,Vol. ., pp.1-1, Campinas, SP, Brasil, 2015 *
|
20.
|
|
LEMOS, Pedro Mendes Ferreira; On asserting future contingent, 04/2015, Second Workshop CLE-Buenos Aires Logic Group,Vol. ., pp.1-1, Campinas, SP, Brasil, 2015 *
|
* Esta produção está associada também a outros órgãos
|
|
