Einführung in die mehrwertige Logik
- 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.
Verfasser*innenangaben: | Markus Heidenreich |
---|---|
URN: | urn:nbn:de:hbz:386-kluedo-10028 |
Dokumentart: | Preprint |
Sprache der Veröffentlichung: | Deutsch |
Jahr der Fertigstellung: | 2000 |
Jahr der Erstveröffentlichung: | 2000 |
Veröffentlichende Institution: | Technische Universität Kaiserslautern |
Datum der Publikation (Server): | 14.04.2000 |
Freies Schlagwort / Tag: | Logik; mehrwertig |
Fachbereiche / Organisatorische Einheiten: | Kaiserslautern - Fachbereich Mathematik |
DDC-Sachgruppen: | 5 Naturwissenschaften und Mathematik / 510 Mathematik |
Lizenz (Deutsch): | Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011 |