|
Need synonyms for logical systems? Here's a list of similar words from our thesaurus that you can use instead.
Noun
Plural for the grouping of a formal language and a set of inference rules and/or axioms
“The important point is that Godel Incompleteness Theorem has to do with provability in logical systems, not with knowledge in general.”
|
|
|
|
|
|