Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

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 vydání:	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:

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17610/13:A14017QF

Complementary Content

${loading}