Fundamentals of computability logic.

Giorgi Japaridze

Published in: CoRR (2019)

Keyphrases

logic programming
modal logic
database processing
deontic logic
database
automated reasoning
multi valued
predicate logic
asynchronous circuits
real time
data sets
search algorithm
classical logic
set theory
abductive reasoning
proof theory