Toggling operators in computability logic

Giorgi Japaridze

Published in: CoRR (2009)

Keyphrases

multi valued
logic programming
asynchronous circuits
automated reasoning
modal operators
information retrieval
modal logic
morphological operators
classical logic
formal theory
deontic logic
search engine
data mining
computational properties
set theory
predicate logic
databases