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

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)

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.