Title variants
Okresy warunkowe oparte na ścisłym „entailment"
Languages of publication
Abstracts
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.
Keywords
Publisher
Year
Volume
Physical description
Dates
published
1993
Contributors
author
References
Document Type
Publication order reference
Identifiers
URI
http://hdl.handle.net/11089/8825
YADDA identifier
bwmeta1.element.hdl_11089_8825