Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)

First-order EQ-logic

Authors
Martin Dyba, Vilém Novák
Corresponding Author
Martin Dyba
Available Online August 2013.
DOI
https://doi.org/10.2991/eusflat.2013.35How to use a DOI?
Keywords
EQ-algebra EQ-logic mathematical fuzzy logic
Abstract

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.

Copyright
© 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/).

Download article (PDF)

Volume Title
Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-13)
Series
Advances in Intelligent Systems Research
Publication Date
August 2013
ISBN
978-90786-77-78-9
ISSN
1951-6851
DOI
https://doi.org/10.2991/eusflat.2013.35How to use a DOI?
Copyright
© 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  -