Non-commutative first-order EQ-logics

DOI10.1016/j.fss.2014.11.019zbMath1383.03057OpenAlexW2091163400MaRDI 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 logicEQ-algebradelta connectiveEQ-logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25)

Related Items (6)

Equality Logic ⋮ Uniform topology on EQ-algebras ⋮ The lattice of prefilters of an EQ-algebra ⋮ Finite direct products of EQ-algebras ⋮ The spectra and reticulation of EQ-algebras ⋮ Preideals in 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

This page was built for publication: Non-commutative first-order EQ-logics