Martin Dyba, Vilém Novák
Available Online August 2013.
- 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.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
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 - 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13) PB - Atlantis Press 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 -