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.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu:
stať ve sborníku (D)
Domácí pracoviště:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:
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.
Podnázev
Rok vydání:
2017
Obor:
Obecná matematika
Počet stran:
4
Strana od:
10
Strana do:
13
Forma vydání:
Tištená verze
Kód ISBN:
neuvedeno
Kód ISSN:
Název sborníku:
Isralog 17: The Third Israeli Workshop on Non-Classical Logics and Their Applications
Sborník:
Mezinárodní
Název nakladatele:
University of Haifa
Místo vydání:
Haifa, Israel
Stát vydání:
Sborník vydaný v zahraničí
Název konference:
Místo konání konference:
Haifa, Israel
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků akce:
Celosvětová akce
Kód UT WoS:
EID:
Klíčová slova anglicky:
free logic,existence,quantifier,partial fuzzy logic
Popis v původním jazyce:
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.
Popis v anglickém jazyce:
Seznam ohlasů
Ohlas
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules