Logical extensions of the parametric closure operator-Reference-Cited by-同舟云学术

Logical extensions of the parametric closure operator

Published:2023-12-01 Issue:6 Volume:33 Page:371-379
ISSN:0924-9265
Container-title:Discrete Mathematics and Applications
language:en
Short-container-title:

Author:

Marchenkov Sergey S.¹

Affiliation:

1. Lomonosov Moscow State University , Moscow , Russia

Abstract

Abstract In the present survey, we consider all logical extensions of the parametric closure operator. Such extensions are obtained by augmenting the parametric closure language with arbitrary logical connectives or the universal quantifier. This gives, in addition to the parametric closure operator, the operators of positive and implicative closure, and also the closure operator with complete system of logical connectives, and the conjunctive-quantifier closure operator. We present basic facts on classifications of the sets Pk generated by these operators.

Publisher

Walter de Gruyter GmbH

Link

https://www.degruyter.com/document/doi/10.1515/dma-2023-0033/pdf

Reference46 articles.

1. Golunkov Yu. V., “Completeness of function systems in the operator algorithms that realize the functions of a k-valuedlogic”, Veroyatnostnye metody i kibernetika, 17 (1980), 23–34 (in Russian).

2. Danil’chenko A. F., “Parametric expressibility of functions of three-valued logic”, Algebra and Logic, 16 (1977), 266–280.

3. Danil’chenko A. F., “Parametrically closed classes of functions of three-valued logic”, Izvestiya AN MSSR, 2 (1978), 13–20 (in Russian).

4. Danil’chenko A. F., Problems of parametric expressibility of functions of three-valued logic, diss kand. fiz.-matem. nauk, Kishinev, 1979 (in Russian), 141 pp.

5. Kuznetsov A. V., “About the means for detecting non-deducibility and inexpressibility”, Logicheskiy vyvod, M.: Nauka, 1979, 5–33 (in Russian).

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lattice of $E$-closed Classes of Multifunctions of Rank 2;The Bulletin of Irkutsk State University. Series Mathematics;2024