Submitted by György Chityil ... on Fri, 01/19/2018 - 20:30 Hierarchy: NounDescription: {{logic}} The grouping of a formal language and a set of inference rules and/or axioms.Ngram: formal systemNgram Text: formal systemSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2
