다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
한국수학사학회지 = The Korean journal for history of mathematics, v.25 no.3, 2012년, pp.29 - 39
선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A
AI-Helper
As a product of modern proof theory, linear logic is a new form of logic developed for the purpose of enhancing programming language by Professor Jean-Yves Girard of Marseille University (France) in 1987 by supplementing intuitionist logic in a sophisticated manner. Thus, linear logic' s connectives...
* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.
| 핵심어 | 질문 | 논문에서 추출한 답변 |
|---|---|---|
| 선형논리의 연결사들은 무엇과 관련된 해석을 갖는가? | 선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. | |
| 선형논리란 무엇인가?? | 선형논리는 현대 증명이론의 산물로서 1987년 프랑스 Marseille대학 Jean-Yves Girard 교수가 프로그래밍 언어의 개발을 위해 직관주의 논리학 (Intuitional logic) 을 정교하게 보완하여 고안한 새로운 논리학이다. 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. | |
| 선형논리가 정보처리와 관련된 해석을 갖는 예는 무엇이 있는가? | 그래서 선형논리의 연결사들은 정보배열 (Sequentiality)과 병행처리 (Parallel computation) 등 정보처리와 관련된 해석을 갖는다. 예컨대, A${\otimes}$B는 두 과정 A와 B를 차례차례 수행하는 것을 나타내고, A&B는 내적미결정과 관련되어 관찰자가 A 또는 B를 선택할 수 있으며, A${\oplus}$B는 외적인 미결정으로서, 관찰자는 A 또는 B라는 사실을 알지만 어느 것이 될지는 알지 못한다. 그리고 A${\wp}$B는 A과정과 B과정의 병행처리를 의미한다. 선형부정은 동시화(Synchronization)를 나타내어, 하나의 과정 A가 수행되기 위해서는 A와 $A^{\bot}$가 동시에 이루어져야 한다. 국내에 선형논리에 대한 연구가 활성화되지 않아서 이 글은 이에 대한 관심을 제고하기 위해 우선 선형논리의 통사론만을 취급했으며, 의미론과 증명망 등은 차후의 연구에서 다루고자 한다. |
Coquand, T. and Huet, G. (1988), "The calculus of constructions", Information and Computation 76, pp. 95-120.
Di cosmo, Roberto, and Damos, Vincent, The Linear logic primer. (http://www. dicosmo.org/CourseNotes/LinLog/)
Danos, V. and Regnier, L. (1989), "The structure of multiplicatives", Archive for Mathematical Logic 28, pp. 181-203.
Girard, J. Y. (1987), "Linear logic", Theoretical Computer Science 50, pp. 1-102.
Girard, J. Y., Lafont, Y and Taylor, P. (1989), Proofs and Types, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.
Girard, J. Y. (1993), "On the unity of logic", Annals of Pure and Applied Logic 59, pp. 201-217.
Girard, J. Y. (2001), Locus Solum, Mathematical Structures in Computer Science 11, pp. 301-506.
Lambek, J. (1958), "The mathematics of sentence structures", American Mathematical Monthly 65, pp. 154-169.
Laurent, O. (2003), "Etude de la polarisation en logique", These de doctorat, Universite Aix-Marseille II, March.
Scedrow A., A brief guide to linear logic, Bulletin of the European Association for Theoretical Computer Science, v. 41, pp. 154-165.
Troelstra, A. S. (1992), Lectures on Linear Logic, CSLI(Center for the Study of Language and Information) Lecture Notes No. 29, Stanford.
Wadler P., A taste of linear logic, MFPS, Springer Verlag LNCS 711, Gdansk, Aug 1993.
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
Copyright KISTI. All Rights Reserved.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.