Non-commutative first-order EQ-logics

DOI10.1016/J.FSS.2014.11.019zbMATH Open1383.03057OpenAlexW2091163400MaRDI QIDQ1697347FDOQ1697347

Authors: M. Dyba, Moataz El-Zekey, Vilém Novák 

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

Recommendations

• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• On good EQ-algebras
• EQ-logics with delta connective
• EQ-algebras
• Representable good EQ-algebras

zbMATH Keywords

equational logicEQ-algebradelta connectiveEQ-logic

Mathematics Subject Classification ID

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

Cites Work

• An introduction to mathematical logic and type theory: To truth through proof.
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• EQ-algebra-based fuzzy type theory and its extensions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Indistinguishability operators. Modelling fuzzy equalities and fuzzy equivalence relations
• On fuzzy type theory
• Title not available (Why is that?)
• Equational propositional logic
• Title not available (Why is that?)
• EQ-algebras
• On good EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• On theories and models in fuzzy predicate logics
• Leibniz's syllogistico-propositional calculus
• Title not available (Why is that?)
• Representable good EQ-algebras
• A theory of prepositional types
• On the soundness and completeness of equational predicate logics

Cited In (14)

• The spectra and reticulation of EQ-algebras
• Preideals in EQ-algebras
• Finite direct products of EQ-algebras
• Relations and non-commutative linear logic
• Non-commutative Łukasiewicz propositional logic
• On EQ-fuzzy logics with delta connective
• Dynamic non-commutative logic
• Equality logic
• Data types over multiple-valued logics
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• EQ-algebras
• The lattice of prefilters of an EQ-algebra
• Non-commutative propositional logic with short-circuit evaluation
• Uniform topology on EQ-algebras

Uses Software

• ETPS
• CalcCheck

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1697347)