Relevanslogik – Wikipedia

Logik, Formellt system
Logiska system

Relevanslogik är logiska system som utvecklats i avsikt att undvika implikationsparadoxerna från den klassiska logikens materiella implikation.