Συστήματα Gentzen
Το σύστημα των ακολουθιακών (sequent) του Gentzen. Προτασιακή και κατηγορηματική εκδοχή. Απόδειξη της πληρότητας και στις δύο εκδοχές. Η έννοια της τομής και το θεώρημα της κανονικοποίησης (Hauptsatz) του Gentzen. Καθορισμός φραγμάτων στην κανονικοποίηση. Μελέτη (και εξαγωγή συμπερασμάτων) των αποδε...
Κύριοι συγγραφείς: | Koletsos, Georgios, Κολέτσος, Γεώργιος |
---|---|
Μορφή: | 7 |
Γλώσσα: | Greek |
Έκδοση: |
2016
|
Θέματα: | |
Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/2305 |
Παρόμοια τεκμήρια
-
Συστήματα Tableaux
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ: Εισαγωγή
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Η λογική των προτάσεων, προτασιακός λογισμός
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Αποδεικτικό σύστημα
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016) -
Σύστημα Hilbert
ανά: Koletsos, Georgios, κ.ά.
Έκδοση: (2016)