◀ ▲ ▶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 BY-SA 4.0!
- Github:
-
References
Bibliography
- Beierle, C.; Kern-Isberner, G.: "Methoden wissensbasierter Systeme", Vieweg, 2000