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

List of Formal Systems

Logical

In Computer Science

Footnotes

  1. Formal system - Wikipedia