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.

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:
bookofproofs


References

Bibliography

  1. Beierle, C.; Kern-Isberner, G.: "Methoden wissensbasierter Systeme", Vieweg, 2000