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 <[email protected]>.

Ported to Decstation 3100, Sun-4.

(ftp://scam.berkeley.edu/pub/src/local/proof/).

E-mail: <[email protected]>.

Mailing list: [email protected] (Subject: add me).



< Previous Terms Terms Containing proof Next Terms >
promiscuous mode
PROM monitor
pron
Pronet
Pronunciation
 acoustic coupler
armour-plated
AUTOMATH
axiom
B
 PROOF/L
proof theory
propeller head
propeller key
Proposal Writing