Formal system Uncommon

Definition, synonyms and related words

Definitions

Noun

The grouping of a formal language and a set of inference rules and/or axioms.

See Also

axiom propositional logic automaton inference rule modal logic polymorphism formal language logical system

Related Terms

axiom propositional logic automaton inference rule modal logic polymorphism formal language logical system second order logic löb's theorem antimatroid deontic logic logical calculus

Rhyming Words

tem stem item autem totem artem tatem retem satem hatem datem u stem bestem i stem hattem destem mortem system o stem montem

Compare