| ชื่อเรื่อง | : | An [omega]-order predicate logic with types |
| นักวิจัย | : | Anocha Yimsiriwattana |
| คำค้น | : | Prediction (Logic) , Type theory , Logic, Symbolic and mathematical |
| หน่วยงาน | : | จุฬาลงกรณ์มหาวิทยาลัย |
| ผู้ร่วมงาน | : | Suwimon Hall , Hall, Mark Edwin , Chulalongkorn University. Graduate School |
| ปีพิมพ์ | : | 2540 |
| อ้างอิง | : | 9746383213 , http://cuir.car.chula.ac.th/handle/123456789/9499 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Thesis (M.Sc.)--Chulalongkorn University, 1997 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. |
| บรรณานุกรม | : |
Anocha Yimsiriwattana . (2540). An [omega]-order predicate logic with types.
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Anocha Yimsiriwattana . 2540. "An [omega]-order predicate logic with types".
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย. Anocha Yimsiriwattana . "An [omega]-order predicate logic with types."
กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย, 2540. Print. Anocha Yimsiriwattana . An [omega]-order predicate logic with types. กรุงเทพมหานคร : จุฬาลงกรณ์มหาวิทยาลัย; 2540.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
