Implication and Inference Rules in Multivalued Logic with Network Configuration
Vassil Sgurev, Lyubka Doukovska · 2023
The present paper proposes and investigates the implication operation in multi-valued logic with a network configuration that connects co-operating two-valued propositional logics. This multi-valued network logic contains elements of sequential and hierarchically connected propositional logics. General formulas have been developed to describe the dependencies between logic states in multivalued network logic. A Kelly table for multivalued network logic has been compiled. Based on the obtained generalized formulas and the Kelly table, some inference rules in multivalued network logic are derived.