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.
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
Banderi A, Harizavi H (2021) On annihilator in pseudo BCI-algebras. Southeast Asian Bull Math 45(3):301–315
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
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
Cornejo JM, San Martín HJ (2020) Dually hemimorphic semi-Nelson algebras. Logic J IGPL 28(3):316–340
Cornejo JM, Viglizzo I (2018) Semi-nelson algebras. Order 35(1):23–45
Cornejo JM, Gallardo A, Viglizzo I (2021) A categorial equivalence for semi-Nelson algebras. Soft Comput 25(22):13813–13821
Ghorbani S (2011) Sub positive implicative filters of residuated lattices. World Appl Sci J 12(5):586–590
Ghorbani S (2016) Hoop twist-structures. J Appl Logic 18:1–18
Ghorbani S (2017) Obstinate, weak implicative and fantastic filters of non commutative residuated lattices. Afr Mat 28(1):69–84
Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87(2):485–491
Lianzhen L, Kaitai L (2007) Boolean filters and positive implicative filters of residuated lattices. Inf Sci 177(24):5725–5738
Mandelker M (1970) Relative annihilators in lattices. Duke Math J 37(2):377–386
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
Odintsov SP (2004) On the representation of N4-lattices. Stud Log 76(3):385–405
Rasiowa H (1969) N-lattices and constructive logic with strong negation. J Symb Logic 34(1):118
Rivieccio U (2014) Implicative twist-structures. Algebra Universalis 71(2):155–186
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
Varlet JC (1973) Relative annihilators in semilattices. Bull Aust Math Soc 9(2):169–185
Zhu Y, Xu Y (2010) On filter theory of residuated lattices. Inf Sci 180(19):3614–3632
Zou YX, Xin XL, He PF (2016) On annihilators in BL-algebras. Open Math 14(1):324–337
Funding
This study was not funded.
Author information
Authors and Affiliations
Corresponding author
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.
About this article
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
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-024-10303-2