Multivalued Logic for Reduced Pin Count and Multi-site SoC Testing

2015 ◽  
Author(s):  
Baohu Li ◽  
Vishwani D. Agrawal
Keyword(s):  
Multivalued Logic ◽  
Soc Testing

On the action of the implicative closure operator on the set of partial functions of the multivalued logic

2021 ◽  
Vol 31 (3) ◽  
pp. 155-164
Author(s):  
Sergey S. Marchenkov
Keyword(s):  
Closure Operator ◽  
Multivalued Logic ◽  
Partial Functions ◽  
Logical Implication

Abstract On the set P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ of partial functions of the k-valued logic, we consider the implicative closure operator, which is the extension of the parametric closure operator via the logical implication. It is proved that, for any k ⩾ 2, the number of implicative closed classes in P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ is finite. For any k ⩾ 2, in P k ∗ $\begin{array}{} \displaystyle P_k^* \end{array}$ two series of implicative closed classes are defined. We show that these two series exhaust all implicative precomplete classes. We also identify all 8 atoms of the lattice of implicative closed classes in P 3 ∗ $\begin{array}{} \displaystyle P_3^* \end{array}$ .

scholarly journals Recent Advances on Multivalued Logic Gates: A Materials Perspective

2021 ◽  
Vol 8 (8) ◽  
pp. 2004216
Author(s):  
Sae Byeok Jo ◽  
Joohoon Kang ◽  
Jeong Ho Cho
Keyword(s):  
Logic Gates ◽  
Multivalued Logic ◽  
Recent Advances
Sign in / Sign up

Export Citation Format

Share Document