Journal Article

Computer Support for the Development and Investigation of Logics

Hans Jürgen Ohlbach

in Logic Journal of the IGPL

Volume 4, issue 1, pages 109-127
Published in print February 1996 | ISSN: 1367-0751
e-ISSN: 1368-9894 | DOI:
Computer Support for the Development and Investigation of Logics

Show Summary Details


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 specifications of a logic and the problem of finding one from the other by means of automated theorem provers and quantifier elimination 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.

Journal Article.  0 words. 

Subjects: Logic

Full text: subscription required

How to subscribe Recommend to my Librarian

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.