Deductive systems in unital quantum-B algebras

Lavinia Corina Ciungu

doi:10.36045/j.bbms.210912

Abstract

We define and study deductive systems in unital quantum-B algebras. Then we introduce the notion of filter in a unital quantum-B algebras with product, and show that filters coincide with deductive systems. We also introduce and characterize the commutative deductive systems in unital quantum-B algebras.

Citation

Download Citation

Lavinia Corina Ciungu. "Deductive systems in unital quantum-B algebras." Bull. Belg. Math. Soc. Simon Stevin 29 (2) 173 - 191, december 2022. https://doi.org/10.36045/j.bbms.210912

Information

Published: december 2022

First available in Project Euclid: 26 February 2023

Digital Object Identifier: 10.36045/j.bbms.210912

Subjects:

Primary: 03G12 , 03G25 , 03G27 , 06A11 , 06F35

Keywords: closed deductive system , commutative deductive system , deductive system , filter‎ , quantum-B algebra

Abstract

Citation

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS