SIGACT news logic column 13.

Riccardo Pucella

Published in: SIGACT News (2005)

Keyphrases

classical logic
news articles
modal logic
information systems
keywords
logic programming
multi valued
database
proof theory
computational properties
predicate logic
neural network
sound and complete axiomatization
formal theory
news items
set theory
defeasible logic
logical framework
social media