General implicativity in groupoids

DOI10.3390/MATH6110235MaRDI QIDQ1634690zbMATH OpenOpenAlexWikidataFDO

Authors Feng Feng, Hee Sik Kim, J. Neggers

Publication date 18 December 2018

Published in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.3390/math6110235

zbMATH Keywords

\(d\)-algebraBCK-algebracentral implicativitygroupoidleftoidmedial groupoidmeet implicativitypositive implicativityquasi implicativityrightoidselective groupoid

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Sets with a single binary operation (groupoids) (20N02)

Review text

Summary: There are several equivalent axioms, which can be used to characterize the positive implicativity in BCK-algebras. In this paper, we investigate interrelationships among such axioms in a more general setting of groupoids, and several aspects regarding their differences in the theory of groupoids.

Recommendations

• On implicator groupoids
• On extended implication groupoids
• Distributive implication groupoids
• On ideals of implication groupoids
• scientific article; zbMATH DE number 5003386
• Filter theory of extended implicative groupoids
• Generalizations of Implication Algebras
• On implicative semigroups
• scientific article; zbMATH DE number 800074
• On algebras with a generalized implication

Cites work

• Algebras of logic as BCK algebras
• Companion d-algebras
• Deformations of \(d/\mathrm{BCK}\)-algebras
• scientific article; zbMATH DE number 3132783 (Why is no real title available?)
• scientific article; zbMATH DE number 3517386 (Why is no real title available?)
• scientific article; zbMATH DE number 1226895 (Why is no real title available?)
• scientific article; zbMATH DE number 1166192 (Why is no real title available?)
• scientific article; zbMATH DE number 1474206 (Why is no real title available?)
• Modular posets and semigroups
• On d-ideals in d-algebras
• Order related concepts for arbitrary groupoids
• THE SEMIGROUPS OF BINARY SYSTEMS AND SOME PERSPECTIVES

Cited in

(7)

• Distributive implication groupoids
• scientific article; zbMATH DE number 1615238 (Why is no real title available?)
• scientific article; zbMATH DE number 5003386 (Why is no real title available?)
• Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
• scientific article; zbMATH DE number 1488869 (Why is no real title available?)
• A groupoid characterization of Boolean algebras
• Independence concepts for groupoids

This page was built for publication: General implicativity in groupoids

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