Toggling operators in computability logic.

Giorgi Japaridze

Published in: Theor. Comput. Sci. (2011)

Keyphrases

multi valued
modal operators
modal logic
logic programming
neural network
classical logic
data sets
proof theory
building blocks
expressive power
partial order
expert systems
search algorithm
aggregation operators
multiscale
computational properties
set theory
formal theory
logic synthesis
propositional dynamic logic