SIGACT news logic column 15.

Riccardo Pucella

Published in: SIGACT News (2006)

Keyphrases

classical logic
keywords
news articles
automated reasoning
computational properties
information retrieval
predicate logic
sound and complete axiomatization
column oriented
formal theory
set theory
defeasible logic
multi valued
modal logic
digital circuits
online news
proof theory
social media