Η παρούσα διπλωματική εργασία είναι το αποτέλεσμα της ερευνητικής μου εργασίας στο πλαίσιο της επέκτασης της κλασικής λογικής στην λογική πολλαπλών τιμών. Οι βασικές έννοιες που διερευνήθηκαν είναι: κλασική άρνηση, ασαφής άρνηση, κλασική σύζευξη, ασαφής σύζευξη, κλασική διάζευξη, ασαφής διάζευξη, συνεπαγωγή, ασαφής συνεπαγωγή, θεωρία δυνατοτήτων, ασαφείς αριθμοί. Ιδιαίτερη έμφαση δίνεται σε όλες τις ασαφείς συνεπαγωγές, καθώς και στις ιδιότητες που αποκτούν. Επιπλέον, ο κρίσιμος ρόλος των ασαφών αρνήσεων καθώς και των ασαφών συζεύξεων στην κατασκευή ασαφών συνεπαγωγών είναι θεωρητικά αποδεδειγμένος και επιβεβαιωμένος από την έρευνα. Τέλος, παρατίθεται μια σειρά από γεννήτριες ασαφών συνεπαγωγών.