Compatible deductive systems of pulexes

DOI10.1155/2014/606890zbMath1322.03048OpenAlexW2160031310WikidataQ59044258 ScholiaQ59044258MaRDI QIDQ2260323

Shokoofeh Ghorbani

Publication date: 10 March 2015

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

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

zbMATH Keywords

congruence relationscompatible deductive systemspulex

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Iséki algebras. Connection with BL algebras
• Varieties of BL-algebras. I: General properties.
• On axiom systems of propositional calculi, XIV

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