- https://doi.org/10.2991/eusflat.2013.35How to use a DOI?
- EQ-algebra EQ-logic mathematical fuzzy logic
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.
- © 2013, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Martin Dyba AU - Vilém Novák PY - 2013/08 DA - 2013/08 TI - First-order EQ-logic BT - Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13) PB - Atlantis Press SP - 240 EP - 246 SN - 1951-6851 UR - https://doi.org/10.2991/eusflat.2013.35 DO - https://doi.org/10.2991/eusflat.2013.35 ID - Dyba2013/08 ER -