OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
>
Publ3 search
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:
Intermediate quantifiers and the problems of non-monotonic logic
Citace
Novák, V. a Murinová, P. Intermediate quantifiers and the problems of non-monotonic logic.
In:
24th Czech-Japan Seminar on Data Analysis and Decision Making (CJS 2024): Proceedings of the 24th Czech-Japan Seminar on Data Analysis and Decision Making (CJS 2024) 2024-09-09 Telč.
Praha: Akademie věd ČR, 2024. s. 72-77. ISBN 978-80-905688-0-8.
Podnázev
Rok vydání:
2024
Obor:
Počet stran:
6
Strana od:
72
Strana do:
77
Forma vydání:
Elektronická verze
Kód ISBN:
978-80-905688-0-8
Kód ISSN:
Název sborníku:
Proceedings of the 24th Czech-Japan Seminar on Data Analysis and Decision Making (CJS 2024)
Sborník:
Mezinárodní
Název nakladatele:
Akademie věd ČR
Místo vydání:
Praha
Stát vydání:
Sborník vydaný v ČR
Název konference:
24th Czech-Japan Seminar on Data Analysis and Decision Making (CJS 2024)
Místo konání konference:
Telč
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:
non-monotonic logic, intermediate quantifiers, fuzzy type theory, higher-order fuzzy logic
Popis v původním jazyce:
In this paper we point out that the well known bird-penguin problem of non-monotonic logic can be solved in the theory of intermediate quantifiers without necessity to intorduce special non-monotonic logic. We will also show that also non-trivial intermediate syllogisms allow consistent revision by a new information
Popis v anglickém jazyce:
In this paper we point out that the well known bird-penguin problem of non-monotonic logic can be solved in the theory of intermediate quantifiers without necessity to intorduce special non-monotonic logic. We will also show that also non-trivial intermediate syllogisms allow consistent revision by a new information
Seznam ohlasů
Ohlas
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules
Probíhá načítání, čekejte prosím...