formal system

English

Noun

formal system (plural formal systems)

1. (logic) The grouping of a formal language and a set of inference rules and/or axioms.

Synonyms

• logical system
• logical calculus
• logic

Meronyms

• formal language
• axioms
• inference rules
• theory
• syntax
• semantics

Translations

combination of formal language and inference rules

• Dutch: formeel systeem n
• German: formales System n
• Greek: τυπικό σύστημα n (typikó sýstima)
• Japanese: 形式的体系 (けいしきてきたいけい, keishiki-teki-taikei), 形式体系 (けいしきたいけい, keishiki-taikei)
• Persian: سیستم صوری
• Russian: формальная систе́ма (formalʹnaja sistéma)