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