> O meu artigo de 1999 > RULES, DERIVED RULES, PERMISSIBLE RULES > AND THE VARIOUS TYPES OF SYSTEMS OF DEDUCTION
Sobre este tema recomendo a leitura do ótimo artigo de Jean-Yves, e sugiro também a leitura de: R. Fagin, J.Y. Halpern, M.Y. Vardi, What is an inference rule?, J. Symbolic Logic 57 (3) (1992) 1018–1045. Sobre a diferença, igualmente pertinente à discussão, entre *regras de inferência* e *regras de dedução* sugiro a leitura do elegante e 'moderno' capítulo 3 de: C. Caleiro, Combining logics, PhD thesis, IST, Universidade Técnica de Lisboa, 2000, http://www.cs.math.ist.utl.pt/ftp/pub/CaleiroC/00-C-PhDthesis.ps Abraços, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
