Deductive systems in unital quantum-B algebras
-
Published:2022-12-10
Issue:2
Volume:29
Page:
-
ISSN:1370-1444
-
Container-title:Bulletin of the Belgian Mathematical Society - Simon Stevin
-
language:
-
Short-container-title:Bull. Belg. Math. Soc. Simon Stevin
Author:
Ciungu Lavinia Corina
Publisher
The Belgian Mathematical Society
Subject
General Mathematics