Computer Support for the Development and Investigation of Logics

Hans Jürgen Ohlbach
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
more » ... ion algorithms. Other topics adressed in this paper are reasoning in Hilbert systems, the investigation of the expressiveness of a logic and the axiomatizability of semantic conditions. For the technical details of the methods and the proofs I refer to the original papers.
doi:10.1093/jigpal/4.1.109 fatcat:zbub4nyly5ardizjv54ehe2kiy