Non-commutative first-order EQ-logics

DOI10.1016/j.fss.2014.11.019zbMath1383.03057MaRDI QIDQ1697347

Vilém Novák, Moataz El-Zekey, Martin Dyba

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.11.019

zbMATH Keywords

equational logic; EQ-algebra; delta connective; EQ-logic

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

06F35: BCK-algebras, BCI-algebras

03G25: Other algebras related to logic

Related Items

Equality Logic, Uniform topology on EQ-algebras, The lattice of prefilters of an EQ-algebra, The spectra and reticulation of EQ-algebras, Preideals in EQ-algebras, Finite direct products of EQ-algebras

Uses Software

• ETPS
• CalcCheck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On good EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Indistinguishability operators. Modelling fuzzy equalities and fuzzy equivalence relations
• Equational propositional logic
• On fuzzy type theory
• Representable good EQ-algebras
• EQ-algebras
• Leibniz's syllogistico-propositional calculus
• Metamathematics of fuzzy logic
• An introduction to mathematical logic and type theory: To truth through proof.
• On the Soundness and Completeness of Equational Predicate Logics
• EQ-algebra-based fuzzy type theory and its extensions
• On theories and models in fuzzy predicate logics
• A theory of prepositional types