Translator Disclaimer
Spring 1996 Editors' Introduction
Patrick Blackburn, Maarten de Rijke
Notre Dame J. Formal Logic 37(2): 161-166 (Spring 1996). DOI: 10.1305/ndjfl/1040046084

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.

Citation

Download Citation

Patrick Blackburn. Maarten de Rijke. "Editors' Introduction." Notre Dame J. Formal Logic 37 (2) 161 - 166, Spring 1996. https://doi.org/10.1305/ndjfl/1040046084

Information

Published: Spring 1996
First available in Project Euclid: 16 December 2002

zbMATH: 0856.03001
MathSciNet: MR1403816
Digital Object Identifier: 10.1305/ndjfl/1040046084

Subjects:
Primary: 03B45

Rights: Copyright © 1996 University of Notre Dame

JOURNAL ARTICLE
6 PAGES


SHARE
Vol.37 • No. 2 • Spring 1996
Back to Top