| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661886 | Annals of Pure and Applied Logic | 2014 | 30 Pages |
Abstract
We introduce a family of notions of interpolation for sentential logics. These concepts generalize the ones for substructural logics introduced in [5]. We show algebraic characterizations of these notions for the case of equivalential logics and study the relation between them and the usual concepts of Deductive, Robinson, and Maehara interpolation properties.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Leonardo Cabrer, José Gil-Férez,