Compatible deductive systems of pulexes

DOI10.1155/2014/606890MaRDI QIDQ2260323zbMATH OpenOpenAlexWikidataFDO

Authors Shokoofeh Ghorbani

Publication date 10 March 2015

Published in International Journal of Mathematics and Mathematical Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1155/2014/606890

zbMATH Keywords

compatible deductive systemscongruence relationspulex

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Review text

Summary: The notion of (compatible) deductive system of a pulex is defined and some properties of deductive systems are investigated. We also define a congruence relation on a pulex and show that there is a bijective correspondence between the compatible deductive systems and the congruence relations. We define the quotient algebra induced by a compatible deductive system and study its properties.

Recommendations

• On compatible deductive systems of pseudo-BCI-algebras
• scientific article; zbMATH DE number 2144728
• STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
• Deductive systems of GE-algebras
• Strong congruence relations and deductive systems in BL propositional logic system

Cites work

• scientific article; zbMATH DE number 1665447 (Why is no real title available?)
• scientific article; zbMATH DE number 2066280 (Why is no real title available?)
• scientific article; zbMATH DE number 2143390 (Why is no real title available?)
• scientific article; zbMATH DE number 1902541 (Why is no real title available?)
• scientific article; zbMATH DE number 2209905 (Why is no real title available?)
• Iséki algebras. Connection with BL algebras
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On axiom systems of propositional calculi, XIV
• Varieties of BL-algebras. I: General properties.

This page was built for publication: Compatible deductive systems of pulexes

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