Prädikatenlogik

Siehe auch

Arten und Erweiterungen

Die einzelnen Arten und Erweiterungen der Prädikatenlogik sind in folgenden vertiefenden Einzelartikeln beschrieben:

• Klassische Prädikatenlogik und ihre Erweiterungen
• Prädikatenlogik erster Stufe
• Prädikatenlogik höherer Stufe
• Nichtklassische Erweiterungen der Prädikatenlogik
• Modallogik (modale Prädikatenlogik)
• Temporale Logik
• Aktionslogik
• Fixpunktlogik

Kalküle für prädikatenlogische Systeme

Konkrete Kalküle für prädikatenlogische Systeme werden in folgenden weiterführenden Einzelartikeln angegeben:

• Hilbertkalküle (axiomatischer Kalkül)
• Systeme natürlichen Schließens, zum Beispiel der Fitch-Kalkül, Sequenzenkalküle
• Baumkalküle
• Resolution (Logik)
• Existential Graphs
• Dialogische Logik

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Prädikatenlogik aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung