R. K. Meyer once gave precise form to the question of whether relevant implication can be defined in any modal system, and his answer was `no'. In the present paper, we extend S4, first with ...
The first section of the paper establishes the minimal properties of so-called consequential implication and shows that they are satisfied by at least two different operators of decreasing strength ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback