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
*
:
First-order EQ-logic
Citace :
Dyba, M. a Novák, V. First-order EQ-logic.
In:
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT).
Atlantis Press, 2013. s. 200-206. ISBN 978-90786-77-78-9.
Podnázev :
Rok
*
:
2013
Obor
*
:
Obecná matematika
Počet stran
*
:
7
Strana od
*
:
200
Strana do
*
:
206
Forma vydání
*
:
Elektronická verze
Kód ISBN
*
:
978-90786-77-78-9
Kód ISSN :
1951-6851
Název sborníku
*
:
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT)
Sborník :
Mezinárodní
Název nakladatele
*
:
Atlantis Press
Místo vydání
*
:
Neuveden
Stát vydání :
Sborník vydaný v zahraničí
Název konference :
EUSFLAT 2013
Místo konání konference
*
:
Milano, Italy
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
*
:
EQ-algebra; EQ-logic; mathematical fuzzy logic
Popis v původním jazyce
*
:
This paper represents the third step in the development of EQ-logics. Namely, after developing propositional and higher-order EQ-logics, we focus also on predicate one. First, we give a brief overview of the propositional EQ-logic and then develop syntax and semantics of predicate EQ-logic. Finally, we prove completeness by constructing a model of a consistent theory of EQ-logic from the syntactical material, as usual.
Popis v anglickém jazyce
*
:
Typ zdroje financování výsledku
*
:
Specifický výzkum
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17610/13:A14017QF
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules