STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

DOI10.5831/HMJ.2007.29.3.445MaRDI QIDQ3640068zbMATH OpenOpenAlexFDO

Authors Young Bae Jun, Chul Hwan Park, Myung Im Doh

Publication date 26 October 2009

Published in Honam Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.5831/hmj.2007.29.3.445

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 2186522
• Strong congruence relations and deductive systems in BL propositional logic system
• GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS
• Strong hyper deductive systems in hyper equality algebras
• On the lattice of deductive systems of a BL-algebra

Cited in

(11)

• Beyond Rasiowan systems: unital deductive systems
• Compatible deductive systems of pulexes
• The prime reverse deductive system of locally finite BL-algebras with properties
• scientific article; zbMATH DE number 2186522 (Why is no real title available?)
• scientific article; zbMATH DE number 1824725 (Why is no real title available?)
• scientific article; zbMATH DE number 6907668 (Why is no real title available?)
• Strong congruence relations and deductive systems in BL propositional logic system
• Deductive systems of GE-algebras
• Strong hyper deductive systems in hyper equality algebras
• Several deductive systems and their quotient algebras in weak MTL algebras
• GRISLY DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

This page was built for publication: STRONG DEDUCTIVE SYSTEMS OF BL-ALGEBRAS

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