Tuesday, 11 May 2021

Deductive System on CL-Algebra | Chapter 13 | Theory and Practice of Mathematics and Computer Science Vol. 9

The definition of a deductive method on CLalgebra is introduced in this paper. This definition generalises the notion of a deductive scheme on Residuated Lattices, as shown. It has been shown that quotient algebra, which corresponds to CLalgebra and is constructed using a deductive method, is also a CLalgebra.

Author (s) Details

Safiqul Islam
Department of Mathematics, Taki Government College, West Bengal, India.

View Book :-
https://stm.bookpi.org/TPMCS-V9/article/view/861


No comments:

Post a Comment