Skip to main content
Log in

Implicative N-deductive systems and annihilators on pre-semi-Nelson algebras

  • Foundation, algebraic, and analytical methods in soft computing
  • Published:
Soft Computing Aims and scope Submit manuscript

Abstract

This paper introduces the concept of implicative N-deductive systems of pre-semi-Nelson algebras and explores some of their properties. We examine the relationship between implicative N-deductive systems and N-deductive systems and identify some characterization of implicative N-deductive systems. Additionally, we establish a connection between semi-Nelson algebras and Boolean algebras by using the above concept. Furthermore, we prove that the quotient semi-Nelson algebra induced by an implicative N-deductive system becomes a Boolean algebra under certain conditions. We define the annihilator of a subset of a pre-semi-Nelson algebra and investigate related properties. We demonstrate that the annihilator of an N-deductive system is its pseudo complement, and the set of all involutive N-deductive systems forms a Boolean algebra.

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

Access this article

Subscribe and save

Springer+ Basic
$34.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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

Data Availability

Enquiries about data availability should be directed to the authors.

References

  • Abujabal HAS, Obaid MA, Aslam M, Thaheem AB (1995) On annihilators of BCK-algebras. Czechoslov Math J 45(4):727–735

    Article  MathSciNet  Google Scholar 

  • Banderi A, Harizavi H (2021) On annihilator in pseudo BCI-algebras. Southeast Asian Bull Math 45(3):301–315

    MathSciNet  Google Scholar 

  • Borzooei R, Zebardast F, Aaly Kologani M (2017) Some types of filters in equality algebras. Categ Gen Algebraic Struct Appl 7(Special Issue on the Occasion of Banaschewski’s 90th Birthday (II)):33–55

    MathSciNet  Google Scholar 

  • Cornejo JM, San Martín HJ (2018) A categorical equivalence between semi-Heyting algebras and centered semi-Nelson algebras. Logic J IGPL 26(4):408–428

    Article  MathSciNet  Google Scholar 

  • Cornejo JM, San Martín HJ (2020) Dually hemimorphic semi-Nelson algebras. Logic J IGPL 28(3):316–340

    Article  MathSciNet  Google Scholar 

  • Cornejo JM, Viglizzo I (2018) Semi-nelson algebras. Order 35(1):23–45

    Article  MathSciNet  Google Scholar 

  • Cornejo JM, Gallardo A, Viglizzo I (2021) A categorial equivalence for semi-Nelson algebras. Soft Comput 25(22):13813–13821

    Article  Google Scholar 

  • Ghorbani S (2011) Sub positive implicative filters of residuated lattices. World Appl Sci J 12(5):586–590

    Google Scholar 

  • Ghorbani S (2016) Hoop twist-structures. J Appl Logic 18:1–18

    Article  MathSciNet  Google Scholar 

  • Ghorbani S (2017) Obstinate, weak implicative and fantastic filters of non commutative residuated lattices. Afr Mat 28(1):69–84

    Article  MathSciNet  Google Scholar 

  • Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87(2):485–491

    Article  MathSciNet  Google Scholar 

  • Lianzhen L, Kaitai L (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177(24):5725–5738

    Article  MathSciNet  Google Scholar 

  • Mandelker M (1970) Relative annihilators in lattices. Duke Math J 37(2):377–386

    Article  MathSciNet  Google Scholar 

  • Monteiro A, Monteiro L (1996) Axiomes indépendants pour les algébres de Nelson, de Lukasiewicz trivalentes, de De Morgan et de Kleene. Unpublished papers, I, Notas de Lógica Matemática, 40, p 13

  • Nelson D (1949) Constructible falsity. J Symb Logic 14(1):16–26

    Article  MathSciNet  Google Scholar 

  • Odintsov SP (2004) On the representation of N4-lattices. Stud Log 76(3):385–405

    Article  MathSciNet  Google Scholar 

  • Rasiowa H (1969) N-lattices and constructive logic with strong negation. J Symb Logic 34(1):118

    Article  Google Scholar 

  • Rivieccio U (2014) Implicative twist-structures. Algebra Universalis 71(2):155–186

    Article  MathSciNet  Google Scholar 

  • Sankappanavar HP (2007) Semi-Heyting algebras: an abstraction from Heyting algebras. In: Actas del IX Congreso Dr. A. Monteiro, pp 33–66

  • Vakarelov D (1977) Notes on N-lattices and constructive logic with strong negation. Stud Log Int J Symb Logic 36(1/2):109–125

    MathSciNet  Google Scholar 

  • Varlet JC (1973) Relative annihilators in semilattices. Bull Aust Math Soc 9(2):169–185

    Article  MathSciNet  Google Scholar 

  • Zhu Y, Xu Y (2010) On filter theory of residuated lattices. Inf Sci 180(19):3614–3632

    Article  MathSciNet  Google Scholar 

  • Zou YX, Xin XL, He PF (2016) On annihilators in BL-algebras. Open Math 14(1):324–337

Download references

Funding

This study was not funded.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Shokoofeh Ghorbani.

Ethics declarations

Conflict of interest

The author shokoofeh Ghorbani declares that she has no conflict of interest.

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors.

Additional information

Publisher's Note

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

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. Implicative N-deductive systems and annihilators on pre-semi-Nelson algebras. Soft Comput 28, 12439–12449 (2024). https://doi.org/10.1007/s00500-024-10303-2

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00500-024-10303-2

Keywords

Navigation