2 citations · 2 across the 2 of their papers we have counts for
3 papers
math.LO2014
A quantitative approach to semantic informativity
Anderson de Araújo
This article shows a form of measuring semantic informativity of deductions. Dynamic concepts of complexity and relevancy are presented according to explicit definitions of inserti…
cs.LO2014
Semantic information and artificial intelligence
Anderson de Araújo
For a computational system to be intelligent, it should be able to perform, at least, basic deductions. Nonetheless, since deductions are, in some sense, equivalent to tautologies,…
cs.CC2012★ 2 cited
Classical and quantum satisfiability
Anderson de Araújo, Marcelo Finger
We present the linear algebraic definition of QSAT and propose a direct logical characterization of such a definition. We then prove that this logical version of QSAT is not an ext…