EQ-logics with delta connective

zbMATH Open1335.03027MaRDI QIDQ2805866FDOQ2805866

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

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

zbMATH Keywords

equational logicEQ-algebradelta connectiveEQ-logicgeneralized deduction theorem

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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)