Conditionals, Based on Strict Entailment

Autor

DOI:

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

Abstrakt

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.

Pobrania

Opublikowane

1993-01-01

Jak cytować

Scheffler, U. (1993). Conditionals, Based on Strict Entailment. Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica, (9), 81–87. https://doi.org/10.18778/0208-6107.09.08

Numer

Nr 9 (1993): Logic and methodology of XXth century

Dział

Articles

Licencja

Creative Commons License

Utwór dostępny jest na licencji Creative Commons Uznanie autorstwa – Użycie niekomercyjne – Bez utworów zależnych 4.0 Międzynarodowe.

Crossref
Scopus
Google Scholar
Europe PMC