Editors' Introduction

Patrick Blackburn, Maarten de Rijke

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

Abstract

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.
OriginalsprogEngelsk
TidsskriftNotre Dame Journal of Formal Logic
Vol/bind37
Udgave nummer2
Sider (fra-til)161-166
Antal sider6
ISSN0029-4527
DOI
StatusUdgivet - 1996
Udgivet eksterntJa

Citer dette