Mall:Logiska system

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