Skip to main content
SpringerLink
Log in

The Category of Semi-BCI Algebras

  • Conference paper
  • First Online:
Fuzzy Information Processing (NAFIPS 2018)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 831))

Included in the following conference series:

Abstract

This paper introduces briefly the notion of SBCI algebras and its role as candidate to model Fuzzy and Interval Fuzzy Logics. Its main goal is to provide how such algebraic structures behaves from the categorical theoretical standpoint.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    \(X\ll Y\) iff \(\overline{X}<\underline{Y}\).

  2. 2.

    \(X \le _{KM} Y\) iff \(\underline{X} \le \underline{Y}\) and \(\overline{X} \le \overline{Y}\).

  3. 3.

    i.e. \(f_i=\pi _i\circ u\).

References

  1. Awodey, S.: Category theory. Oxford logic guides, vol. 49. Oxford University Press (2006)

    Google Scholar 

  2. Iorgulescu, A.: Algebras of Logic as BCK Algebras. Academy of Economic Studies Press, Bucharest (2008)

    MATH  Google Scholar 

  3. Bedregal, B.C., Santiago, R.H.N.: Interval representations, Łukasiewicz implicators and Smets-Magrez axioms. Inf. Sci. 221, 192–200 (2013)

    Article  Google Scholar 

  4. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge (2003)

    Book  Google Scholar 

  5. Dymek, G.: p-Semisimple pseudo-BCI-algebras. J. Multiple-Valued Log. Soft Comput. 19, 461–474 (2012)

    MathSciNet  Google Scholar 

  6. Georgescu, G., Iorgulescu, A.: Pseudo-BCK algebras: an extension of BCK algebras. In: Calude, C.S., Dinneen, M.J., Sburlan, S. (eds.) Combinatorics, Computability and Logic. DMTCS, pp. 97–114. Springer, London (2001). https://doi.org/10.1007/978-1-4471-0717-0_9

    Chapter  Google Scholar 

  7. Dymek, G.: On the category of pseudo-BCI-algebras. Demonstr. Math. 46(4), 631–644 (2013)

    MathSciNet  MATH  Google Scholar 

  8. Busneag, D., Ghita, M.: Some properties of epimorphisms of Hilbert algebras. Open Math. 8, 41–52 (2010)

    Article  MathSciNet  Google Scholar 

  9. Dudek, W.A., Jun, Y.B.: Pseudo-BCI algebras. East Asian Math. J. 24, 187–190 (2008)

    MATH  Google Scholar 

  10. Pierce, B.C.: Basic Category Theory for Computer Scientists. MIT Press, Cambridge (1991)

    MATH  Google Scholar 

  11. Dymek, G.: On two classes of pseudo-BCI-algebras. Discuss. Math. Gen. Algebra Appl. 31, 217–229 (2011)

    Article  MathSciNet  Google Scholar 

  12. Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Elsevier Science, Amsterdam (1986)

    MATH  Google Scholar 

  13. Shohani, J., Borzooei, R.A., Jahanshahi, M.A.: Basic BCI-algebras and Abelian groups are equivalent. Sci. Math. Jpn. 66(2), 243–245 (2007)

    MathSciNet  MATH  Google Scholar 

  14. Meng, J.: BCI-algebras and Abelian groups. Math. Jpn. 32, 693–696 (1987)

    MathSciNet  MATH  Google Scholar 

  15. Iséki, K.: An algebra related with a propositional calculus. Proc. Jpn. Acad. 42(1), 26–29 (1966)

    Article  MathSciNet  Google Scholar 

  16. Huang, Y.S.: BCI-Algebra. Science Press, Beijing (2006)

    Google Scholar 

  17. Santiago, R.H.N., Bedregal, B., Marcos, J., Caleiro, C., Pinheiro, J.: Semi-BCI Algebras. arXiv:1803.04808 [cs.LO] (2018)

Download references

Author information

Authors and Affiliations

  1. Group for Theory of Computation, Logic and Fuzzy Mathematics, Department of Natural Sciences, Mathematics and Statistics (DCME), Center of Exact and Natural Science (CCEN), Rural Federal University of SemiArid (UFERSA), Mossoró, RN, Brazil

    Jocivania Pinheiro

  2. Federal Institute of Education, Science and Technology of Ceará - IFCE, Canindé, CE, Brazil

    Rui Paiva

  3. Group for Logic, Language, Information, Theory and Applications (LoLITA), Informatics and Applied Mathematics Department, Federal University of Rio Grande do Norte (UFRN), Natal, RN, Brazil

    Jocivania Pinheiro, Rui Paiva & Regivan Santiago

Authors
  1. Jocivania Pinheiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rui Paiva
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Regivan Santiago
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jocivania Pinheiro .

Editor information

Editors and Affiliations

  1. Department of Teleinformatics Engineering, Federal University of Ceará, Fortaleza, Ceará, Brazil

    Guilherme A. Barreto

  2. Department of Statistics & Applied Mathematics, Federal University of Ceará, Fortaleza, Ceará, Brazil

    Ricardo Coelho

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Pinheiro, J., Paiva, R., Santiago, R. (2018). The Category of Semi-BCI Algebras. In: Barreto, G., Coelho, R. (eds) Fuzzy Information Processing. NAFIPS 2018. Communications in Computer and Information Science, vol 831. Springer, Cham. https://doi.org/10.1007/978-3-319-95312-0_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-95312-0_27

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-95311-3

  • Online ISBN: 978-3-319-95312-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation