Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
.
Vol. 6(3), 2006 (Section Logic)
.
Polynomizing: Logic Inference in Polynomial
Format and the Legacy of Boole

.
Date Posted: June, 27th 2006
Download Files:  [PDF]

The final version of this paper has been published
.
Carnielli, W.A. Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. In: Model-Based Reasoning in Science, Technology, and Medicine (Editors, L. Magnani and P. Li). Book Series "Studies in Computational Intelligence", volume 64, pages 349-364. Springer Berlin - Heidelberg, 2007, ISBN: 978-3-540-71985-4.


.
.Abstract
.
Polynomizing is a term that intends to describe the uses of polynomial like 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 diferential calculus.
.
.
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE

Last Update: November, 26th, 2007

Problems, sugestions and questions about this site?
Contact: emerson@cle.unicamp.br