Bivalent logik

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