Algebraic and Proof-theoretic Aspects of Non-classical Logics
Publication year: 2007
: 978-3-540-75939-3
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
: 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
