Paper Info
Title
Interpolation in logics with constructors
Abstract
We present a generic method for establishing the interpolation property by borrowing it across the logical systems from a base institution to prove it for its constructor-based variant. The framework used is that of the so-called institution theory invented by Goguen and Burstall which is a categorical-based formulation of the informal concept of logical system sufficiently abstract to capture many examples of logics used in computer science and mathematical logic, and expressive enough to elaborate our general results. We illustrate the applicability of the present work by instantiating the abstract results to constructor-based Horn clause logic and constructor-based Horn preorder algebra but applications are also expected for many other logical systems.
Year
DOI
Venue
2013
10.1016/j.tcs.2012.12.002
Theoretical Computer Science
Keywords
DocType
Volume
categorical-based formulation,base institution,constructor-based variant,abstract result,logical system,mathematical logic,constructor-based horn clause logic,present work,so-called institution theory,constructor-based horn preorder algebra
Journal
474,
ISSN
Citations 
PageRank 
0304-3975
2
0.48
References 
Authors
29
1
Name
Order
Citations
PageRank
Daniel Găină1425.30