Predicate provability logic with non-modalized quantifiers.

Giorgie Dzhaparidze

Published in: Stud Logica (1991)

Keyphrases

first order logic
horn clauses
classical logic
set theory
modal logic
logical framework
multi valued
asynchronous circuits
search algorithm
inference rules
sound and complete axiomatization
real time
proof theory
digital circuits
theorem proving
bayesian networks
genetic algorithm
databases