Jen pro výrokovou logiku:

Modální logiky
---
Kripkeho rámce
vyhodnocení formule
pravdivé formule pro danný model, tautologie

Trojhodnotové logiky
---
implikace pro Lukasziewiczovu logiku
úplný systém logických spojek
vyhodnocení formule


Fuzzy logiky
---
fuzzy množiny a fuzzy logika
základní logické spojky
vyhodnocení formule