Editors' Introduction

Patrick Blackburn, Maarten de Rijke

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review


The idea of combining logics, structures, and theories has recently been attracting interest in areas as diverse as constraint logic programming, theorem proving, verification, computational linguistics, artificial intelligence and indeed, various branches of logic itself. It would be an exaggeration to claim that these (scattered, and by-and-large independent) investigations have crystallized into an enterprise meriting the title "combined methods"; nonetheless, a number of interesting themes are emerging. This introduction notes some prominent ones and relates them to the papers in this special issue.
TidsskriftNotre Dame Journal of Formal Logic
Udgave nummer2
Sider (fra-til)161-166
Antal sider6
StatusUdgivet - 1996
Udgivet eksterntJa

Citer dette