Computing the validity degree in Lukasiewicz logic
Abstrakt
Lukasiewicz logic ( L) is an important and familiar example of a many-valued logic; a vast amount of knowledge has been accumulated on its algebraic semantics, provided by the class of MValgebras. Semantic investigations allowed a fairly good understanding of the computational aspects of the logic, with a range of results