Relevanslogik

Logik, Formellt system
	Bayesian logik; Bivalent logik; Boolesk algebra; Deontisk logik; Filosofisk logik; Flervärd logik; Matematisk logik; Metalogik; Modallogik; Satslogik; Temporal logik;
Logiska system
	Första ordningens logik; Andra ordningens logik; Deontisk logik; Induktiv logik; Intuitionistisk logik; Klassisk logik; Parakonsistent logik; Predikatlogik; Relationell logik; Relevanslogik; Sannolikhetslogik; Satslogik; Suddig logik (fuzzy logic); Syllogistisk logik;

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