> "Inferência profunda" não lhe parece adequado? Bem, eu tenho meus motivos "off topic" para não gostar muito da idéia...
> Haveria alguma alternativa interessante? Não, realmente não. Talvez continue a usar o termo em inglês... Eu fui uma das primeiras pessoas (se não a primeira...) a trabalhar com proof search em deep inference. Devo dizer que se um dia for obrigada a dizer que faço "busca por demonstrações em inferência profunda" vou preferir mudar de área... :) Abraços, -- Elaine. ------------------------------------------------- Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 http://www.mat.ufmg.br/~elaine ------------------------------------------------- _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
