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

How to Cite

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

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.

Crossref
Scopus
Google Scholar
Europe PMC