EQ-logics with delta connective

MaRDI QIDQ2805866zbMATH OpenFDO

Authors M. Dyba, Vilém Novák

Publication date 13 May 2016

Published in Iranian Journal of Fuzzy Systems (Search for Journal in Brave)

Full work available at URL http://ijfs.usb.ac.ir/article_1981_296.html

zbMATH Keywords

equational logicEQ-algebradelta connectiveEQ-logicgeneralized deduction theorem

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

Recommendations

• On EQ-fuzzy logics with delta connective
• Computer Science Logic
• Equational coalgebraic logic
• Equivalential and algebraizable logics
• A denotational semantics for equilibrium logic
• Equilibrium semantics for IF logic and many-valued connectives
• Publication:4942674
• Some Varieties of Equational Logic
• scientific article; zbMATH DE number 1961528
• scientific article; zbMATH DE number 67036

Cited in

(9)

• EQ-algebras based on fuzzy hyper EQ-filters
• Equality propositional logic and its extensions
• Non-commutative first-order EQ-logics
• EQ-algebras based on hyper EQ-algebras
• On EQ-fuzzy logics with delta connective
• Equality logic
• Commutative pseudo-equality algebras
• Weakening-free fuzzy logics with the connective \(\Delta\)
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality

This page was built for publication: EQ-logics with delta connective

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