Login / Signup
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic.
Rosalie Iemhoff
Published in:
Advances in Modal Logic (1998)
Keyphrases
</>
set theory
logic programming
modal logic
proof theory
classical logic
multi valued
computational properties
delay insensitive
information retrieval
image processing
logic programs
first order logic
fuzzy set theory
probability theory
logic synthesis