Non-commutative first-order EQ-logics

DOI10.1016/J.FSS.2014.11.019MaRDI QIDQ1697347zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5306054 (Why is no real title available?)
• scientific article; zbMATH DE number 41101 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 789390 (Why is no real title available?)
• scientific article; zbMATH DE number 6276267 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• A theory of prepositional types
• An introduction to mathematical logic and type theory: To truth through proof.
• EQ-algebra-based fuzzy type theory and its extensions
• EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• Equational propositional logic
• Indistinguishability operators. Modelling fuzzy equalities and fuzzy equivalence relations
• Leibniz's syllogistico-propositional calculus
• Metamathematics of fuzzy logic
• On fuzzy type theory
• On good EQ-algebras
• On the soundness and completeness of equational predicate logics
• On theories and models in fuzzy predicate logics
• Representable good EQ-algebras

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
• Data types over multiple-valued logics
• Equality logic
• 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

Describes a project that uses

Uses Software

• CalcCheck
• ETPS

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)