Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


You are here: irt.org | FOLDOC | proof

1. <logic> A finite sequence of well-formed formulas, F1, F2, ... Fn, where each Fi either is an axiom, or follows by some rule of inference from some of the previous F's, and Fn is the statement being proved.

See also proof theory.

2. A left-associative natural language parser by Craig R. Latta <latta@xcf.berkeley.edu>. Ported to Decstation 3100, Sun-4.


E-mail: <proof@xcf.berkeley.edu>. Mailing list: proof-requestf@xcf.berkeley.edu (Subject: add me).


Nearby terms: pron « Pronet « Pronunciation « proof » PROOF/L » proof theory » propeller head

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb