Martin Mundhenk
First Degree Entailment - die Logik FDE
-
Einleitung
-
Auszug aus dem Buch von Priest zu Tableaux in klassischer Aussagenlogik und FDE
-
Artikel von Omori und Wansing zu 40 Years of FDE
-
Artikel von J.M.Font mit einem Hilbert-Kalkül für FDE
Bei Fragen: e-mail an martin.mundhenk(at)uni-jena.de
Stand: 21.4.2021,
Back
to my homepage