Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 37, Number 2 (1996), 161-166.
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.
Notre Dame J. Formal Logic Volume 37, Number 2 (1996), 161-166.
First available in Project Euclid: 16 December 2002
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Blackburn, Patrick; de Rijke, Maarten. Editors' Introduction. Notre Dame J. Formal Logic 37 (1996), no. 2, 161--166. doi:10.1305/ndjfl/1040046084. https://projecteuclid.org/euclid.ndjfl/1040046084.