Notre Dame Journal of Formal Logic 37 (2):161-166 (1996)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Introduction. Editors' Introduction.Oskari Kuusela & Marie McGinn - 2011 - In Marie McGinn & Oskari Kuusela (eds.), Dialogue and Universalism. Oxford University Press. pp. 10-14.
Editors' Introduction.Andrew Light & David Rothenberg - 1996 - Inquiry : An Interdisciplinary Journal of Philosophy 39 (2):153-155.
Editors' Introduction.Hasana Sharp & Chloë Taylor - 2007 - Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 11 (2):229-230.
Music in German Philosophy: An Introduction.Stefan Lorenz Sorgner & Oliver Fürbeth (eds.) - 2010 - University of Chicago Press.
Added to index2010-08-24
Total downloads4 ( #642,146 of 2,170,060 )
Recent downloads (6 months)1 ( #345,514 of 2,170,060 )
How can I increase my downloads?