• sequent calculus

sequent calculus (suomeksi)

Määritelmät:

• (lb, en, mathematics, logic) A set of inference rules for deriving true sequents from other true sequents.