Τροπική Λογική και Θεωρία Αντιστοίχισης

Η αναγκαιότητα και η πιθανότητα είναι οι σημαντικότεροι και ευρέως χρησιμοποιούμενοι τροπικοί τελεστές. Ερμηνεύοντας την πρόταση «αναγκαίως φ» ως ότι φ αληθής σε κάθε πιθανό κόσμο και «πιθανώς φ» ότι φ αληθής σε κάποιον πιθανό κόσμο, η σημασιολογία της τροπικής λογικής μπορεί να δοθεί στο πλαίσιο γ...

Πλήρης περιγραφή

Κύριοι συγγραφείς: Κωτσάνη, Ναταλία, Kotsani, Natalia
Άλλοι συγγραφείς: Παγουρτζής, Αριστείδης
Μορφή: bachelorThesis
Γλώσσα:Greek
Έκδοση: Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών 2016
Θέματα:
Διαθέσιμο Online:http://dspace.lib.ntua.gr/handle/123456789/43381