Editors' Introduction

Patrick Blackburn, Maarten de Rijke

Research output: Contribution to journalJournal articlepeer-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.
Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Volume37
Issue number2
Pages (from-to)161-166
Number of pages6
ISSN0029-4527
DOIs
Publication statusPublished - 1996
Externally publishedYes

Cite this