Failure of interpolation in relevant logics |
| |
Authors: | Alasdair Urquhart |
| |
Institution: | (1) Departments of Philosophy and Computer Science, University of Toronto, M5S 1A1 Toronto, Ontario, Canada |
| |
Abstract: | Craig's interpolation theorem fails for the prepositional logicsE of entailment,R of relevant implication andT of ticket entailment, as well as in a large class of related logics. This result is proved by a geometrical construction, using the fact that a non-Arguesian projective plane cannot be imbedded in a three-dimensional projective space. The same construction shows failure of the amalgamation property in many varieties of distributive lattice-ordered monoids. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|