I S – Schliessen@Theorie@illutions

Illner Solutions

3. 4 Vierwertige Logik L₄

Das Projekt Illner Solutions stellt hier seine unscharfe Logik für Wissensbasen im 21. Jahrhundert vor.

3. 4. 1. 1 Vier epistemische Werte
3. 4. 1. 2 Negations-Junktoren
3. 4. 1. 3 Konjunktion und Adjunktion
3. 4. 1. 4 Implikations-Junktoren

3. 4. 2 Heyting-Algebra H

3. 4. 2. 1 Definition
3. 4. 2. 2 Dreiwertige Heyting-Algebra
3. 4. 2. 3 Vierwertige Heyting-Algebra
3. 4. 2. 4 Schaltungen

3. 4. 3 Vierwertige Prädikatenlogik PL₄

Neubearbeutung ab – Freitag, 21. November 2014, Letzrmals geändert am – Mittwoch, 08. Januar 2020
Erstmals kreiert am – (Sonntag, 19. Dezember 2004 - echt?), Letztmals geändert am – Donnerstag, 19. Oktober 2006
Autor: Korgüll