formal system
English edit
Noun edit
formal system (plural formal systems)
- (logic) The grouping of a formal language and a set of inference rules and/or axioms.
Synonyms edit
Meronyms edit
Translations edit
combination of formal language and inference rules
|