Login / Signup
Introduction to the Logic of Definitions.
Barry Smith
Published in:
VDOS+DO@ICBO (2013)
Keyphrases
</>
modal logic
classical logic
fixed point semantics
information retrieval
multi valued
logical framework
formal language
asynchronous circuits
data mining
clustering algorithm
database systems
search algorithm
logic programming
predicate logic
formal theory
dynamic logic