Typsäkerhet Bivalent logik Typsystem Filosofisk logik Modallogik Boolesk algebra Predikatlogik Metalogik Intuitionistisk logik Första ordningens logik Parakonsistent logik Matematisk logik Formellt system Flervärd logik Andra ordningens logik Klassisk logik Relevanslogik Satslogik Suddig logik Deontisk logik Logik