Multivalued Logic at the Nanoscale

Author(s):  
Barbara Fresch ◽  
M. V. Klymenko ◽  
Raphael D. Levine ◽  
Françoise Remacle
Keyword(s):  
2021 ◽  
Vol 31 (3) ◽  
pp. 155-164
Author(s):  
Sergey S. Marchenkov

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}$ .


2021 ◽  
Vol 8 (8) ◽  
pp. 2004216
Author(s):  
Sae Byeok Jo ◽  
Joohoon Kang ◽  
Jeong Ho Cho

1997 ◽  
Vol 53 (1/2) ◽  
Author(s):  
M. M.J. Basson ◽  
J. H. Koekemoer

This article is aimed at introducing multi valued logic as an epistemic model for theological thought within the  reformational-dialectic paradigm. Nowadays, reformational-dialectic theology is challenged by postmodem culture, interreligious exposure and scientific discoveries, which subsequently lead to new and unaccounted world-views. As a result, an epistemological shift based on an expanded rationality is called for. It is in this regard that multivalued-logic emerges as an epistemic model specifically developed to accommodate diversity, uncertainty and probability as well as, to restore hope and faith in the hearts of millions.


Sign in / Sign up

Export Citation Format

Share Document