HEAL DSpace

Browsing Μεταπτυχιακές Εργασίες by Author "Georgaras, Ioannis Th."

DSpace/Manakin Repository

Browsing Μεταπτυχιακές Εργασίες by Author "Georgaras, Ioannis Th."

Sort by: Order: Results:

  • Natural Deduction with General Elimination Rules and a Proof of Hauptsatz without multicut 
    Γεωργαράς, Ιωάννης Θ.; Georgaras, Ioannis Th. (2014-11-11)
    Στην παρούσα διπλωματική παρουσιάσαμε το σύστημα φυσικής απαγωγής και την έννοια της κανονικοποίησης μιας απόδειξης φυσικής απαγωγής. Ακολούθως παρουσιάσαμε το σύστημα ακολουθητών Gentzen και το πολύ σημαντικό θεώρημα ...