VDict - Definition of proof theory

search result for proof theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

formal methods ZF expression ontology natural language \perp cybernetics monadic CTC automata theory computable HOL predomain autoprojector canonicity CA FSM deductive tableau computron sticky analysis consistently complete block transfer computations GRG directed set minimal automaton Universal algebra type assignment induction Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion pi-calculus Abstract Machine Notation Fermat prime monotonic CUCH boundedly complete COLD-K bottom F+L AGM Theory for Belief Revision distributive lattice disjoint union PROSE deterministic automaton effective computable logic Ontic complete partial ordering compactness preserving reduction strategy Gottlob Frege low-bandwidth complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination semantics join Cornell Theory Center linear logic NIAL reflexive nondeterministic automaton B-Method CHARITY Godzillagram decision problem Omega-algebraic plonk set complement discriminated union burn-in period alpha conversion complete metric space Cinderella Book

First < Previous 1 2 3 4 Next > Last