Abstract: The paper presents a new network-flow interpretation of Łukasiewicz’s logic based on models with an
increased effectiveness. The obtained results show that the presented network-flow models principally may work
for multivalue logics with more than three states of the variables i.e. with a finite set of states in the interval from 0
to 1. The described models give the opportunity to formulate various logical functions. If the results from a given
model that are contained in the obtained values of the arc flow functions are used as input data for other models
then it is possible in Łukasiewicz’s logic to interpret successfully other sophisticated logical structures. The
obtained models allow a research of Łukasiewicz’s logic with specific effective methods of the network-flow
programming. It is possible successfully to use the specific peculiarities and the results pertaining to the function
‘traffic capacity of the network arcs’. Based on the introduced network-flow approach it is possible to interpret
other multivalue logics – of E.Post, of L.Brauer, of Kolmogorov, etc.
Keywords: Łukasiewicz’s multivalue logic, operational research, network flow interpretation.
ACM Classification Keywords: F.4.0 Mathematical Logic and Formal Languages – General, F.4.1 Mathematical
Logic – Logic and constraint programming.
NON-LINEAR NETWORK-FLOW MODEL OF ŁUKASIEWICZ’S MULTIVALUE LOGIC
Vassil Sgurev, Stefan Kojnov