The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.
Paper
Full text
A Top-down Approach to Combining Logics
Semantic Scholar · Computer Science · 2013
Abstract
The mechanization and automation of combination of logics, expressive ontologies and notions of context are prominent current challenge problems. I propose to approach these challenge topics from the perspective of classical higher-order logic. From this perspective these topics are closely related and a common, uniform solution appears in reach.
References (46)
Scroll for more · 34 remaining