formal system

formal system (plural formal systems)

  1. (logic) The grouping of a formal language and a set of inference rules and/or axioms.
Synonyms Translations
  • German: formales System
  • Russian: формальная систе́ма

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.002
Offline English dictionary