Okresy warunkowe oparte na ścisłym „entailment"

Authors

DOI:

https://doi.org/10.18778/0208-6107.09.08

Abstract

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

Published

1993-01-01

Issue

No. 9 (1993): Logic and methodology of XXth century

Section

Articles

License

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

How to Cite

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.
Crossref
Scopus
Google Scholar
Europe PMC