Equality Logic

DOI10.18778/0138-0680.2020.14zbMath1477.03266OpenAlexW4233256725MaRDI QIDQ5147753

Shokoofeh Ghorbani

Publication date: 28 January 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.14

zbMATH Keywords

many-valued logicequality logiccompletnessprelinear equality \(_\Delta \)-algebraprelinear equality \(_\Delta\) logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Internal states on equality algebras
• On good EQ-algebras
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• On fuzzy type theory
• Monadic pseudo-equality algebras
• Representable good EQ-algebras
• EQ-algebras
• Involutive equality algebras
• Non-commutative first-order EQ-logics
• Equality algebras
• EQ-algebra-based fuzzy type theory and its extensions
• Algebraizable logics
• On the variety of equality algebras
• Protoalgebraic logics

This page was built for publication: Equality Logic