Opening book details…
Can I read On the Action of the Implicative Closure Operator on the Set of Partial Functions of the Multivalued Logic on EtoBox?
On the Action of the Implicative Closure Operator on the Set of Partial Functions of the Multivalued Logic by Sergey S. Marchenkov is a Computer Science article available to read on EtoBox.
What is On the Action of the Implicative Closure Operator on the Set of Partial Functions of the Multivalued Logic about?
On the set P \* k 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 is finite. For any k ⩾ 2, in P \* k 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 .
Who reads On the Action of the Implicative Closure Operator on the Set of Partial Functions of the Multivalued Logic?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Sergey S. Marchenkov
- Publisher
- Walter de Gruyter GmbH
- Published
- 2021
- Language
- EN
- Field
- Computer Science (Physical Sciences)