SpringerLink
Log in

Very True Operators on Pre-semi-Nelson Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper, we use the concept of very true operator to pre-semi-Nelson algebras and investigate the properties of very true pre-semi-Nelson algebras. We study the very true N-deductive systems and use them to establish the uniform structure on very true pre-semi-Nelson algebras. We obtain some properties of this topology. Finally, the corresponding logic very true semi-intuitionistic logic with strong negation is constructed and algebraizable of this logic is proved based on very true semi-Nelson algebras.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bělohlávek, R., and V. Vychodil, Reducing the size of fuzzy concept lattices by hedges, in The 14th IEEE International Conference on Fuzzy Systems, 2005, FUZZ’05, IEEE, 2005, pp. 663–668.

  2. Blok, W.J., and D. Pigozzi, Algebraizable logics, vol. 77, no. 396 of Memoirs of the American Mathematical Society, 1989.

  3. Cignoli, R., The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Algebra Universalis 23:262–292, 1986.

    Article  Google Scholar 

  4. Ciungu, L.C., Very true pseudo-BCK algebras, Soft Computing, 23:10587–10600, 2019.

    Article  Google Scholar 

  5. Cornejo, J.M., and I. Viglizzo, Proofs of some propositions of the semi-intuitionistic logic with strong negation. ar**v preprint ar**v:1708.09448, 2017.

  6. Cornejo, J.M., and I. Viglizzo, Semi-nelson algebras. Order 35(1):23–45. 2018.

    Article  Google Scholar 

  7. Cornejo, J.M., and I. Viglizzo, Semi-intuitionistic logic with strong negation, Studia Logica 106:281–293, 2018.

    Article  Google Scholar 

  8. Cornejo, J.M., and H.J. San Martín, A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras, Logic Journal of the IGPL 26(4):408–428, 2018.

  9. Cornejo, J.M., and H.J. San Martín, Dually hemimorphic semi-Nelson algebras, Logic Journal of the IGPL 28(3):316–340, 2020.

  10. Cornejo, J.M., A. Gallardo, and I. Viglizzo, A categorial equivalence for semi-Nelson algebras, Soft Computing 25(22):13813–13821, 2021.

    Article  Google Scholar 

  11. Ghorbani, S., Implicative N-deductive systems and annihilators on pre-semi-Nelson algebras, submitted.

  12. Ghorbani, S., On monadic Semi-Nelson algebras, Journal of Applied Logics - IfCoLog Journal, to appear.

  13. Hájek, P., On very true, Fuzzy sets and systems 124(3):329–333, 2001.

    Article  Google Scholar 

  14. James, I.M., Introduction to uniform spaces, Cambridge University Press, UK 1990.

    Book  Google Scholar 

  15. Joshi, K.D., Introduction to general topology, New Age International, UK 1983.

    Google Scholar 

  16. Liu, X., and Z. Wang, On very true operators and v-filters, WSEAS Transactions on Mathematics 7(10):599–608, 2008.

    Google Scholar 

  17. Nelson, D., Constructible falsity. The Journal of Symbolic Logic 14(1):16–26, 1949.

    Article  Google Scholar 

  18. Odintsov, S.P., On the representation of N4-lattices, Studia Logica 76(3):385–405, 2004.

    Article  Google Scholar 

  19. Rasiowa, H., N-lattices and constructive logic with strong negation, Journal of Symbolic Logic 34(1):118, 1969.

  20. Sankappanavar, H.P., Semi-Heyting algebras: an abstraction from Heyting algebras, in Actas del IX Congreso Dr. A. Monteiro, 2007, pp. 33–66.

  21. Sholander, M., Postulates for distributive lattices, Canadian Journal of Mathematics 3:28–30, 1951.

    Article  Google Scholar 

  22. Vakarelov, D., Notes on N-lattices and constructive logic with strong negation, Studia Logica 36(1/2):109–125, 1977.

    Article  Google Scholar 

  23. Wang, J.T., X.L. **n and A.B. Saeid, Very true operators on MTL-algebras, Open Mathematics 14(1):955–969, 2016.

    Article  Google Scholar 

  24. Wang, J.T., X.L. **n and Y.B. Jun, Very true operators on equality algebras, Journal of Computational Analysis and Applications 24:507–521, 2018.

    Google Scholar 

  25. Zadeh, L.A., A fuzzy-set-theoretic interpretation of linguistic hedges, Journal of Cybernetics 2(3):4–34, 1972.

    Article  Google Scholar 

  26. Zadeh, L.A., Fuzzy logic and approximate reasoning (In memory of Grigore Moisil), Synthese 30:407–428, 1975.

Download references

Author information

Authors and Affiliations

  1. Department of Pure Mathematics, Faculty of Mathematics and Computer, Shahid Bahonar University of Kerman, Kerman, Iran

    Shokoofeh Ghorbani

Authors
  1. Shokoofeh Ghorbani
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shokoofeh Ghorbani.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Presented by Francesco Paoli.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ghorbani, S. Very True Operators on Pre-semi-Nelson Algebras. Stud Logica (2024). https://doi.org/10.1007/s11225-024-10109-1

Download citation

  • Received:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-024-10109-1

Keywords

Search

Navigation