Weitere Beispiele für konkrete Kalküle finden sich unter Baumkalkül, Begriffsschrift, Systeme natürlichen Schließens, Sequenzenkalkül oder Resolutionskalkül.
vˈaɪtərə bˈaɪʃpiːlə fyːɾ kɔŋkɾˈeːtə kˈalkyːlə fˈɪndən zɪç ˌʊntɜ bˈaʊmkalkˌyːl, bəɡɾˈɪfsçrɪft, zystˈeːmə nɑːtˈyːɾlɪçən ʃlˈiːsəns, zˈeːkvəntsˌɛnkalkˌyːl ˌoːdɜ rˈeːzoːluːtsjˌoːnskalkˌyːl.