Från Rilpedia

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

Relationell logik är logik med regelsystem för att logiskt hantera relationer mellan ord och begrepp. Sådana relationer är t.ex. likheter med avseende på någon aspekt, rangordning inbördes, klasstillhörighet mm. den relationella logiken har framför utvecklats och fått sin tillämpning inom AI-forskningen.