Caro Walter,
Existem vários provadores automáticos para lógicas não-clássicas. Para
lógicas modais, por exemplo, um bom ponto de partida é lista mantida
pela Renate Schmidt:
http://www.cs.man.ac.uk/~schmidt/tools/
Abraços,
Cláudia
Em 2017-04-24 22:03, Walter Carnielli escreveu:
Caros Colegas que usualmente falam sobre ATPs (Automatic Theorem
Provers):
(Elaine, João Marcos, Valéria, Marcelo Finger entre outros)
Existem ATPs bacanas para Lógicas Não-Clássicas? Para a Logica
Intuicionista certamente existem, e sei (por trabalhar com tablôs,
dedução natural, axiomaticas hilbertianas, etc) que certamente se
podem adaptar Isabelle, Mizar, etc, para isso. Mas eu gostaria de
saber se há ATPs que são 'nativos' de Lógicas Não-Clássicas,e o que
eles já demonstraram (se é que...) de 'surpreendente'.
Abraços,
Walter
--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: [email protected]
Website: http://www.cle.unicamp.br/prof/carnielli
--
Cláudia Nalon
------------------------------------
Departmento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasília
http://www.cic.unb.br/~nalon
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87501795014994b9225448b77d70e1e2%40unb.br.
