Refine
Document Type
- Preprint (4)
- Study Thesis (2)
- Article (1)
Language
- German (7) (remove)
Has Fulltext
- yes (7)
Keywords
- Modellierung (2)
- dynamische Systeme (2)
- Accounting (1)
- DES (1)
- Didaktik (1)
- Dynasys (1)
- Fachdidaktik (1)
- IDEA (1)
- Kryptographie (1)
- Kryptologie (1)
Faculty / Organisational entity
Da die zweiwertige Aussagenlogik nicht nur innerhalb der Logik insgesamt, sondern auch schon in der Aussagenlogik einen vergleichbaren Platz wie die euklidische Planimetrie im Rahmen der gesamten modernen Geometrie einnimmt, soll hier eine Einführung in eine vom tertium non datur unabhängige mehrwertige Logik gegeben werden. Neben Definition und Beispielen mehrwertiger Logiken soll auch auf die Möglichkeit der Axiomatisierung sowie auf Fragen des Entscheidungsproblems in solchen Logiken eingegangen werden.