Seminário de Lógica Carioca SEGUNDA-FEIRA 28 DE ABRIL DE 2014 15h00 - SALA DO PPGF - IFCS-UFRJ
CONSERVATIVITY OF LOGICAL EXTENSIONS VIA REFLECTIVE TRANSLATIONS Sérgio Marcelino SQIG - Instituto de Telecomunicacoes, Dep. Mathematics, IST - University of Lisbon, Portugal Joint work with Carlos Caleiro GeTFun Project Todos os detalhes no site da lógica carioca http://www.rio-logic.org/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
