activity
20192022
most citedState Feedback Stabilization of Generic Logic Systems via Ledley Antecedence Solution

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2019Show all

1 paper · 1 filter

math.LO2019

Matrix Expression of Finite Boolean-type Algebras

Daizhan Cheng, Jun-e Feng, Jianli Zhao +1

Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expres…