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
Ausgabe
Rubrik
Articles
Lizenz
Dieses Werk steht unter der Lizenz Creative Commons Namensnennung - Nicht-kommerziell - Keine Bearbeitungen 4.0 International.
Zitationsvorschlag
Scheffler, Uwe. 1993. “Okresy Warunkowe Oparte Na ścisłym „entailment"”. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, no. 9 (January): 81-87. https://doi.org/10.18778/0208-6107.09.08.
