A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Computer Support for the Development and Investigation of Logics
1996
Logic Journal of the IGPL
The development and investigation of application{oriented logics comprises many aspects and problems. For a few of them some computer support is possible which frees the investigator from sometimes quite complex computations. This paper gives an overview about some developments in this area. In particular, we consider the correspondences between axiomatic and semantic speci cations of a logic and the problem of nding one from the other by means of automated theorem provers and quanti er
doi:10.1093/jigpal/4.1.109
fatcat:zbub4nyly5ardizjv54ehe2kiy