Abstract

A definition for the logical inference of one proposition based upon the assertion of some premise propositions in multivalued logics is introduced. Some of the properties of this definition are investigated. It is shown that it is a generalization of the concept of inference in binary logic.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call