린드스트룀의 정리
Lindström's theorem수학적 논리학에서 린드스트룀의 정리(이름, 1969년에 그것을 발표한 스웨덴의 논리학자 페르 린드스트룀의 이름을 따서 명명)는 1차 논리학은 (카운트 가능) 콤팩트성 속성과 (아래쪽) 뢰웬하임-스콜렘 속성을 모두 가진 가장 강력한 논리[1](예: 고전적 부정 하에서 종결)라고 명시하고 있다.[2]null
린드스트룀의 정리는 아마도 추론적 모델 이론으로 나중에 알려지게 된 것의 가장 잘 알려진 결과일 것이다.[3] 추상적 개념은 추론적 논리학이다.[4] 추론적 개념이다. 추론적 개념은 추론적 개념이다. 추론적 개념에서 범주의 이론적 개념으로 발전하는 기관의 보다 일반적인 개념이 후에 도입되었다.[5]린드스트룀은 앞서 린드스트룀 정량자와 함께 확장된 1차 로직 연구에서도 비슷한 결과를 얻은 바 있다.[6]null
린드스트룀의 정리는 다양한 다른 논리 체계, 특히 요한 판 벤트헴과 세바스티안 엔크비스트의 모달 로직으로 확장되었다.null
메모들
- ^ 하인츠-디터 에빙하우스의 뜻에서확장 로직: K. J. Barwise 및 S의 일반 프레임워크. Feferman, 편집자, 모델-이론 논리학, 1985년 ISBN0-387-90936-2페이지 43
- ^ 데일 재켓 2005 ISBN 1-4051-4575-7페이지 329페이지의 철학 논리의 동반자
- ^ Chen Chung Chang; H. Jerome Keisler (1990). Model theory. Elsevier. p. 127. ISBN 978-0-444-88054-3.
- ^ Jean-Yves Béziau (2005). Logica universalis: towards a general theory of logic. Birkhäuser. p. 20. ISBN 978-3-7643-7259-0.
- ^ Dov M. Gabbay, ed. (1994). What is a logical system?. Clarendon Press. p. 380. ISBN 978-0-19-853859-2.
- ^ 린드스트룀의 정리 요우코 베네넨
참조
- Per Lindström, "초급 로직의 확장", Theoryia 35, 1969, 1–11. doi:10.111/j.1755-2567.1969.tb00356.x
- 요한 판 벤트헴, "A New Modal Lindström Organis, Logica Universalis 1, 2007, 125–128. doi:10.1007/s11787-006-0006-3
- Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (1994), Mathematical Logic (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94258-2
- 세바스티안 엔크비스트, "A General Lindström Organization for Some Normal Modal Logics", Logica Universalis 7, 2013, 233–264. doi:10.1007/s1187-013-0078-9
- Monk, J. Donald (1976), Mathematical Logic, Graduate Texts in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90170-1
- 숀 헤드먼, 논리학 첫 강좌: 모델 이론, 증명 이론, 계산 가능성, 복잡성에 대한 소개, 옥스퍼드 대학 출판부, 2004, ISBN 0-19-852981-3, 섹션 9.4
| 필드 |
| ||||
|---|---|---|---|---|---|
| 파운데이션 | |||||
| 목록 |
| ||||
