Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
https://hdl.handle.net/123456789/1399| Τύπος: | Άρθρο σε επιστημονικό περιοδικό |
| Τίτλος: | Strong Ambiguity |
| Εναλλακτικός τίτλος: | Ισχυρή αμφισημία |
| Συγγραφέας: | [EL] Ρουβέλας, Παναγιώτης[EN] Rouvelas, Panagiotis |
| Ημερομηνία: | 22/01/2022 |
| Περίληψη: | We examine the conditions under which a model of Tangled Type Theory satisfies the same sentences as a model of NF (assuming we ignore type indices). |
| Γλώσσα: | Αγγλικά |
| Σελίδες: | 8 |
| DOI: | 10.1002/malq.202100067 |
| EISSN: | 1521-3870 |
| Θεματική κατηγορία: | [EL] Μαθηματική λογική[EN] Logic |
| Λέξεις-κλειδιά: | New Foundations; Tangled Type Theory |
| Κάτοχος πνευματικών δικαιωμάτων: | © 2022 Wiley-VCH GmbH |
| Ηλεκτρονική διεύθυνση του τεκμηρίου στον εκδότη: | https://onlinelibrary.wiley.com/doi/10.1002/malq.202100067 |
| Ηλεκτρονική διεύθυνση περιοδικού: | https://onlinelibrary.wiley.com/journal/15213870 |
| Τίτλος πηγής δημοσίευσης: | Mathematical Logic Quarterly |
| Τεύχος: | 1 |
| Τόμος: | 68 |
| Σελίδες τεκμηρίου (στην πηγή): | 110-117 |
| Σημειώσεις: | This research was co-financed by Greece and the European Union (European Social Fund) through the Operational Program “Human Resources Development, Education and Lifelong Learning” in the context of the project “Reinforcement of Postdoctoral Researchers – 2nd Cycle” (No. MIS-5033021), implemented by the State Scholarships Foundation (IKY). |
| Εμφανίζεται στις συλλογές: | Μεταδιδακτορικοί ερευνητές |
Αρχεία σε αυτό το τεκμήριο:
| Αρχείο | Περιγραφή | Σελίδες | Μέγεθος | Μορφότυπος | Έκδοση | Άδεια | |
|---|---|---|---|---|---|---|---|
| Rouvelas - Strong Ambiguity.pdf | 225.46 kB | Adobe PDF | Δημοσιευμένη/του Εκδότη |  | Δείτε/ανοίξτε |