Non-commutative first-order EQ-logics
type: Item
instance of: scholarly article
title: Non-commutative first-order EQ-logics
zbMATH Open document ID: 1383.03057
author: M. Dyba
author: Moataz El-Zekey
author: Vilém Novák
published in: Fuzzy Sets and Systems
publication date: 2018-02-19T00:00:00Z
review text: EQ-logics, as logics based on EQ-algebras, can be considered as special kind of fuzzy logics. The authors describe prelinear EQ-algebras and develop the corresponding propositional EQ-logic. They in detail introduce syntax and semantics of first-order EQ-logics and prove various theorems characterizing its properties including completeness.
reviewed by: Wiesław A. Dudek
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 06F35
zbMATH DE Number: 6840676
zbMATH Keywords: EQ-algebra
zbMATH Keywords: EQ-logic
zbMATH Keywords: equational logic
zbMATH Keywords: delta connective
describes a project that uses: ETPS
describes a project that uses: CalcCheck
MaRDI profile type: Publication
full work available at URL: j.fss.2014.11.019
OpenAlex ID: W2091163400
cites work: An introduction to mathematical logic and type theory: To truth through proof.
cites work: Leibniz's syllogistico-propositional calculus
cites work: Q5406033
cites work: EQ-logics: non-commutative fuzzy logics based on fuzzy equality
cites work: Representable good EQ-algebras
cites work: On good EQ-algebras
cites work: Q4052071
cites work: Q4846258
cites work: Equational propositional logic
cites work: Metamathematics of fuzzy logic
cites work: On theories and models in fuzzy predicate logics
cites work: A theory of prepositional types
cites work: Q3994407
cites work: On fuzzy type theory
cites work: EQ-algebra-based fuzzy type theory and its extensions
cites work: EQ-algebras
cites work: Indistinguishability operators. Modelling fuzzy equalities and fuzzy equivalence relations
cites work: Q5537599
cites work: On the soundness and completeness of equational predicate logics
cites work: Q3516027
DOI: 10.1016/J.FSS.2014.11.019
description: scientific article; zbMATH DE number 6840676