Hilbert Implication Algebra and Some Properties

The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is inves...

Full description

Saved in:
Bibliographic Details
Main Author: Dejen Gerima Tefera
Format: Article
Language:English
Published: Wiley 2021-01-01
Series:Journal of Applied Mathematics
Online Access:http://dx.doi.org/10.1155/2021/3635185
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1832561385291120640
author Dejen Gerima Tefera
author_facet Dejen Gerima Tefera
author_sort Dejen Gerima Tefera
collection DOAJ
description The concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved.
format Article
id doaj-art-c5f0b06528574db58d602508d6ca673e
institution Kabale University
issn 1110-757X
1687-0042
language English
publishDate 2021-01-01
publisher Wiley
record_format Article
series Journal of Applied Mathematics
spelling doaj-art-c5f0b06528574db58d602508d6ca673e2025-02-03T01:25:12ZengWileyJournal of Applied Mathematics1110-757X1687-00422021-01-01202110.1155/2021/36351853635185Hilbert Implication Algebra and Some PropertiesDejen Gerima Tefera0Department of Mathematics, Wollo University, College of Natural Science, Dessie, EthiopiaThe concepts of Hilbert implication algebra and generalized Hilbert implication algebra are introduced. The comparison theorem of Hilbert implication algebra and generalized Hilbert implication algebra is proved. In addition, the idea of groupoid and commutative Hilbert implication algebras is investigated. Ideals and filters in Hilbert implication algebras are also discussed. In general, different theorems which show different properties are proved.http://dx.doi.org/10.1155/2021/3635185
spellingShingle Dejen Gerima Tefera
Hilbert Implication Algebra and Some Properties
Journal of Applied Mathematics
title Hilbert Implication Algebra and Some Properties
title_full Hilbert Implication Algebra and Some Properties
title_fullStr Hilbert Implication Algebra and Some Properties
title_full_unstemmed Hilbert Implication Algebra and Some Properties
title_short Hilbert Implication Algebra and Some Properties
title_sort hilbert implication algebra and some properties
url http://dx.doi.org/10.1155/2021/3635185
work_keys_str_mv AT dejengerimatefera hilbertimplicationalgebraandsomeproperties