◀ ▲ ▶Branches / Logic / Definition: Logical Calculus
Definition: Logical Calculus
A logical calculus $(L,\mathcal A,\mathcal R)$ consists of a formal language $L,$ together with set of $\mathcal A$ axioms and a set $\mathcal R$ of rules of inference.
Mentioned in:
Chapters: 1 2 3
Definitions: 4 5 6 7 8 9 10 11 12 13
Parts: 14
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Beierle, C.; KernIsberner, G.: "Methoden wissensbasierter Systeme", Vieweg, 2000