axiomatic basis

(from the article `formal logic`) An axiomatic basis consists of: (1) a list of primitive symbols, together with any definitions that may be thought convenient,(2) a set of formation ... The axiomatic basis given in Axiomatization of LPC also requires the following modification: in axiom schema 2 any term is allowed to replace a when ....
Found on
No exact match found