Florentin Smarandache, Andrew Schumann
In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p -adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert ’s style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen ’s style sequents that was introduced independently by Avron and Pottinger . In particular, we examine Hilbert ’s style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Lukasiewicz ’s, Godel ’s, and Product logics.
Read this work at the World Public Library (library card needed).