This paper contributes to the vast literature on relational renderings of non-classical logics providing a general schema for automatic translation. The translation process is supported by a flexible Prolog tool. Many specific translations are already implemented, typically leading from an unquantified logic into the calculus of binary relations. Thanks to the uniformity of the translation pattern, additional source languages (and, though less commonly, new target languages) can be installed very easily into this Prolog-based translator. The system also integrates an elementary graphical proof assistant based on Rasiowa-Sikorski dual-tableau rules.

An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics

FORMISANO, Andrea;
2006

Abstract

This paper contributes to the vast literature on relational renderings of non-classical logics providing a general schema for automatic translation. The translation process is supported by a flexible Prolog tool. Many specific translations are already implemented, typically leading from an unquantified logic into the calculus of binary relations. Thanks to the uniformity of the translation pattern, additional source languages (and, though less commonly, new target languages) can be installed very easily into this Prolog-based translator. The system also integrates an elementary graphical proof assistant based on Rasiowa-Sikorski dual-tableau rules.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11391/172862
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 5
social impact