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...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	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.

Subtitle
Publication year:	2013
Obor:	Obecná matematika
Number of pages:	7
Page from:	200
Page to:	206
Form of publication:	Elektronická verze
ISBN code:	978-90786-77-78-9
ISSN code:	1951-6851
Proceedings title:	Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT)
Proceedings:	Mezinárodní
Publisher name:	Atlantis Press
Place of publishing:	Neuveden
Country of Publication:	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ů:	Celosvětová akce
WoS code:
EID:

Key words in English:	EQ-algebra; EQ-logic; mathematical fuzzy logic
Annotation in original language:	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.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17610/13:A14017QF

Complementary Content

${loading}