Login / Signup
Markov's Principle for Propositional Type Theory.
Alexei Kopylov
Aleksey Nogin
Published in:
CSL (2001)
Keyphrases
</>
theoretical basis
theoretical framework
first order logic
propositional logic
structural risk minimization
theoretical foundation
markov process
database
machine learning
computational model
multi valued
markov processes
logical theories