首页 正文

On Sahlqvist Formulas in Relevant Logic

{{output}}
This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a gi... ...