Equality propositional logic and its extensions

DOI10.22111/IJFS.2019.4912MaRDI QIDQ5240950zbMATH OpenOpenAlexFDO

Authors

Publication date 29 October 2019

Full work available at URL https://ijfs.usb.ac.ir/article_4912_f333b256a3857446705654eb1cb0a78a.pdf

zbMATH Keywords

completenessdelta equality propositional logicequality algebraequality propositional logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other nonclassical logic (03B60) Other algebras related to logic (03G25)

Recommendations

• Equality logic
• On EQ-fuzzy logics with delta connective
• EQ-logics with delta connective
• EQ-logics: non-commutative fuzzy logics based on fuzzy equality
• scientific article; zbMATH DE number 2072512

Cited in

(19)

• On elementary equivalence for equality-free logic
• Logic with equality: Partisan corroboration and shifted pairing
• Internalizing equality in Boolean algebras
• On the logic of factual equivalence
• Features of equivalence in the complex s-logic
• scientific article; zbMATH DE number 3945373 (Why is no real title available?)
• scientific article; zbMATH DE number 1961528 (Why is no real title available?)
• scientific article; zbMATH DE number 2072512 (Why is no real title available?)
• scientific article; zbMATH DE number 2108193 (Why is no real title available?)
• Transforming equality logic to propositional logic
• On logical and concurrent equivalences
• Equality logic
• Natural Deduction for Equality: The Missing Entity
• Equivalence of syllogisms
• scientific article; zbMATH DE number 2213626 (Why is no real title available?)
• Computer Aided Verification
• Definition of strong equality of tautologies and universal system for various propositional logics.
• Nucleus topology in equality algebras
• Truth-value semantics and functional extensions for classical logic of partial terms based on equality

This page was built for publication: Equality propositional logic and its extensions

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