Η Θεωρία Αποδείξεων είναι ένας κλάδος της Μαθηματικής Λογικής για τη μελέτη αποδείξεων ή απαγωγών ως τυπικά μαθηματικά αντικείμενα. Οι απαγωγές που μελετάμε εδώ είναι της προτασιακής CS4 λογικής, μιας τροπικής επέκτασης ...