Algebraic and Proof-theoretic Aspects of Non-classical Logics
Publication year: 2007
ISBN: 978-3-540-75939-3
Internet Resource: Please Login to download book
It profound connections between logic and such diverse fields of research as functional analysis, probability and measure theory, the geometry of toric varieties, piecewise linear geometry, and error-correcting codes. Several prominent logicians, mathematicians, and computer scientists
Subject: Computer Science, Automated first order deduction, Constructive provability, Extension, Free MV-algebras, Fuzzy, IMTL algebras, Lattice-ordered abelian groups, Lukasiewicz logic, Many-valued logic, Quantum computation, artificial intelligence, knowledge, logic, semantics, verification
