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

DOI10.1515/dma-2021-0014OpenAlexW3176060618MaRDI QIDQ2050224

Sergey S. Marchenkov

Publication date: 30 August 2021

Published in: Discrete Mathematics and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/dma-2021-0014

zbMATH Keywords

implicative closure operatorpartial functions of multivalued logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Positively closed classes of partial Boolean functions
• The closure operator with the equality predicate branching on the set of partial Boolean functions
• On some closed classes in partial two-valued logic
• Maximal subalgebras of algebras of partial multivalued logic functions
• The algebras of partial functions and their invariants
• On expressibility of functions of many-valued logic in some logical-functional languages
• Extensions of the Positive Closure Operator by Using Logical Connectives
• Positively closed classes of three-valued logic

This page was built for publication: On the action of the implicative closure operator on the set of partial functions of the multivalued logic