Bayesiskt skräppostfilter George Boolos Bivalent logik Boolesk algebra Filosofisk logik Modallogik Predikatlogik Intuitionistisk logik Metalogik Första ordningens logik Parakonsistent logik Andra ordningens logik Flervärd logik Matematisk logik Formellt system Klassisk logik Relevanslogik Satslogik Suddig logik Deontisk logik Logik