OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Close
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Record type:
stať ve sborníku (D)
Home Department:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:
Free quantification in fuzzy logic
Citace
Běhounek, L. Free quantification in fuzzy logic.
In:
Isralog 17: The Third Israeli Workshop on Non-Classical Logics and Their Applications 2017-10-15 Haifa, Israel.
Haifa, Israel: University of Haifa, 2017. s. 10-13.
Subtitle
Publication year:
2017
Obor:
Obecná matematika
Number of pages:
4
Page from:
10
Page to:
13
Form of publication:
Tištená verze
ISBN code:
neuvedeno
ISSN code:
Proceedings title:
Isralog 17: The Third Israeli Workshop on Non-Classical Logics and Their Applications
Proceedings:
Mezinárodní
Publisher name:
University of Haifa
Place of publishing:
Haifa, Israel
Country of Publication:
Sborník vydaný v zahraničí
Název konference:
Conference venue:
Haifa, Israel
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků:
Celosvětová akce
WoS code:
EID:
Key words in English:
free logic,existence,quantifier,partial fuzzy logic
Annotation in original language:
Two fuzzified variants (with crisp and fuzzy existence predicates) of a dual-domain semantics for non-bivalent positive free logic are sketched and samples of quantification laws valid therein are given. The fuzzification is based on a simple truth-functional system of first-order partial fuzzy logic and motivated by the fact that non-denoting terms (the subject of free logic) occur in gradual contexts (studied by fuzzy logic) as often as in bivalent cases.
Annotation in english language:
References
Reference
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules