Conditionals, Based on Strict Entailment
Streszczenie
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.
Collections