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