These logics often require calculational devices quite distinct from propositional calculus.
Αυτές οι λογικές συχνά απαιτούν υπολογιστικές συσκευές, αρκετά διαφορετικές από του προτασιακού λογισμού.