Please use this identifier to cite or link to this item:
https://cuir.car.chula.ac.th/handle/123456789/9499
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Suwimon Hall | - |
dc.contributor.advisor | Hall, Mark Edwin | - |
dc.contributor.author | Anocha Yimsiriwattana | - |
dc.contributor.other | Chulalongkorn University. Graduate School | - |
dc.date.accessioned | 2009-08-03T07:52:20Z | - |
dc.date.available | 2009-08-03T07:52:20Z | - |
dc.date.issued | 1997 | - |
dc.identifier.isbn | 9746383213 | - |
dc.identifier.uri | http://cuir.car.chula.ac.th/handle/123456789/9499 | - |
dc.description | Thesis (M.Sc.)--Chulalongkorn University, 1997 | en |
dc.description.abstract | A type is a symbol used to separate objects in the universe into different groups. The objects in traditional predicate logic have no types (or, equivalently, they all have the same type), so in some theories which need at least two classes of object, such as the theory of vector spaces or homomorphisms of two groups, we can not write some theorems using untypes predicate logic. This thesis proposes a predicate logic with types. In it we will formulate syntax, sematics, and formal proofs, and prove some metatheorems, including the soundness theorem. Finally, we will give counterexamples to show that the compactness and completeness theorems fail in this logic. | en |
dc.description.abstractalternative | ไทป์เป็นสัญลักษณ์ที่ใช้แบ่งวัตถุในเอกภพออกเป็นกลุ่มต่างๆ ที่แตกต่างกัน วัตถุในตรรกศาสตร์ที่รู้จักกันโดยทั่วไปไม่มีไทป์ (หรืออีกนัยหนึ่งคือทุกวัตถุมีไทป์เดียวกัน) ดังนั้นในทฤษฎีซึ่งต้องการใช้วัตถุอย่างน้อยสองกลุ่มที่แตกต่างกันเช่น ทฤษฎีเวกเตอร์สเปซ หรือโฮโมมอฟิซึมของกลุ่ม 2 กลุ่ม เราไม่สามารถเขียนทฤษฎีบทบางบทโดยใช้ตรรกศาสตร์ที่ไม่มีไทป์ได้ วิทยานิพนธ์นี้นำเสนอตรรกศาสตร์ที่มีไทป์โดยกำหนดหลักวากยสัมพันธ์ ความหมาย นิยามการพิสูจน์แบบฟอร์มัลและพิสูจน์ทฤษฎีบทบางบทในกลุ่มทฤษฎีเมตา ซึ่งรวมถึงทฤษฎีความถูกต้อง และจบลงด้วยการให้ตัวอย่างค้านที่แสดงให้เห็นว่า ทฤษฎีความบริบูรณ์และทฤษฎีความกระทัดรัดไม่เป็นจริงในตรรกศาสตร์นี้ | en |
dc.format.extent | 930934 bytes | - |
dc.format.extent | 780457 bytes | - |
dc.format.extent | 2016852 bytes | - |
dc.format.extent | 1041541 bytes | - |
dc.format.extent | 736002 bytes | - |
dc.format.extent | 706870 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | es |
dc.publisher | Chulalongkorn University | en |
dc.rights | Chulalongkorn University | en |
dc.subject | Prediction (Logic) | en |
dc.subject | Type theory | en |
dc.subject | Logic, Symbolic and mathematical | en |
dc.title | An [omega]-order predicate logic with types | en |
dc.title.alternative | ตรรกศาสตร์พรีดีเคตอันดับโอเมกาที่มีไทป์ | en |
dc.type | Thesis | es |
dc.degree.name | Master of Science | es |
dc.degree.level | Master's Degree | es |
dc.degree.discipline | Mathematics | es |
dc.degree.grantor | Chulalongkorn University | en |
dc.email.advisor | No information provided | - |
dc.email.advisor | No information provided | - |
Appears in Collections: | Grad - Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Anocha_Yi_front.pdf | 909.12 kB | Adobe PDF | View/Open | |
Anocha_Yi_ch1.pdf | 762.17 kB | Adobe PDF | View/Open | |
Anocha_Yi_ch2.pdf | 1.97 MB | Adobe PDF | View/Open | |
Anocha_Yi_ch3.pdf | 1.02 MB | Adobe PDF | View/Open | |
Anocha_Yi_ch4.pdf | 718.75 kB | Adobe PDF | View/Open | |
Anocha_Yi_back.pdf | 690.3 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.