Συστήματα Gentzen
Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδε...
Main Authors: | , |
---|---|
Format: | 7 |
Language: | Greek |
Published: |
2016
|
Subjects: | |
Online Access: | http://localhost:8080/jspui/handle/11419/2305 |