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