-conservativity Logic.

Giorgi Japaridze

Published in: Notre Dame J. Formal Log. (1994)

Keyphrases

modal logic
classical logic
digital circuits
logic programming
predicate logic
computational properties
multi valued
asynchronous circuits
data sets
epistemic logic
set theory
horn clauses
automated reasoning
expressive power
e learning
information retrieval
data mining
neural network