Okresy warunkowe oparte na ścisłym „entailment"
DOI:
https://doi.org/10.18778/0208-6107.09.08Abstract
W artykule rozważa się okresy warunkowe oparte na systemie ścisłego entailment Fs skonstruowanym przez Wessela. Poprzez uzupełnienie aksjomatyki i reguł inferencji Fs otrzymuje się system FSK, posiadający dwie struktury implikacyjne, typu: entailment i okresu warunkowego. Konsekwencją dalszej modyfikacji systemu FSK poprzez wprowadzenie dodatkowych reguł inferencji. systemy FSK5, FSK6 i FSK7, jest zmiana odpowiednich klas okresów warunkowych bez zmiany entailment.
Downloads
Veröffentlicht
1993-01-01
Zitationsvorschlag
Scheffler, U. (1993). Okresy warunkowe oparte na ścisłym „entailment". Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, (9), 81–87. https://doi.org/10.18778/0208-6107.09.08
Ausgabe
Rubrik
Articles
Lizenz
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung - Nicht-kommerziell - Keine Bearbeitungen 4.0 International.
