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