formal system en · NOUN
Meanings
- The grouping of a formal language and a set of inference rules and/or axioms.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| formal systems | Number=Plur | lexicographic |
Meronyms
axiom · inference rule · syntax · formal language · semantics · theory
Synonyms
logical system · logic · logical calculus
Translations (8)
ru формальная систе́ма (combination of formal language and inference rules) · el τυπικό σύστημα (combination of formal language and inference rules) · de formales System (combination of formal language and inference rules) · ja 形式体系 (combination of formal language and inference rules) · nl formeel systeem (combination of formal language and inference rules) · pl system formalny (combination of formal language and inference rules) · fa سیستم صوری (combination of formal language and inference rules) · ja 形式的体系 (combination of formal language and inference rules)