A formal system, also known as a logical system, is a formalization of an axiomatic system used for deduction using inference rules.
A formal system has the following: 1
- formal language: which is a set of well-formed formula
- deductive system or a proof system
List of Formal Systems
Logical
- propositional calculus, rules of inferences governing the logic of propositions
- predicate calculus, rules of inferences governing the logic of predicates
- Other proof systems such as Hilbert system