Polynomizing is a term that intends to describe the uses of polynomiallike representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus. © 2007 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Carnielli, W. (2007). Polynomizing: Logic inference in polynomial format and the legacy of Boole. Studies in Computational Intelligence, 64, 349–364. https://doi.org/10.1007/978-3-540-71986-1_20
Mendeley helps you to discover research relevant for your work.