VDict - Definition of proof theory

search result for proof theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

intuitionistic logic proof constructive Isabelle theory Russell's Paradox axiom drool-proof paper set theory Zermelo Frankel set theory four colour map theorem belief revision proof theory Carl Friedrich Gauss complete theory Array Theory General Recursion Theorem lattice toy language PRL Zermelo set theory domain theory exercise, left as an axiomatic set theory denotational semantics Xy-pic CAYLEY ZFC recursion theory pre-order natural deduction decision theory embedding theory change bounded algebraic inclusive ideal pointed domain Axiom of Comprehension projection equational logic bondage-and-discipline language Unix conspiracy ML Z satisfiability problem sum coalesced sum Cantor UBASIC von Neumann ordinal domain lifted domain philosophy Finite State Machine Logic for Computable Functions PROOF/L cellular automaton closure lemma epsilon user-friendly Baroque room-temperature IQ penis war prime number theorem Macintrash metalanguage Clausal Language PPLambda Optical Character Recognition Software Verification Research Centre fuzzy logic menuitis countable documentation Nuprl point-and-drool interface TABLOG

First < Previous 1 2 3 4 Next > Last