Tarskian Möglichkeit에 관한 논문 및 기사 찾기

일부 배경 : Łukasiewicz 다치 논리는 모달 논리로 의도되었으며 Łukasiewicz는 모달 연산자 의 확장 정의를 제공했습니다. $\Diamond A =_{def} \neg A \to A$ (Tarski의 속성)

이것은 몇 가지 역설적으로, 이상한 모달 논리를 제공 겉으로는 터무니없는 정리하는 경우, 특히 $(\Diamond A\land \Diamond B) \to \Diamond (A\land B)$ . 대체 $\neg A$ 에 대한 $B$ 이 모달 로직의 역사에서 각주에 이관되었다 왜 참조하십시오.

그러나 가능성 연산자의 정의가 선형 논리 및 기타 하위 구조 논리에 적용될 때 덜 모호하다는 것을 깨달았습니다. 나는 이달 초에 이것에 대해 비공식적으로 이야기하고 있습니다. 강연 링크는 http://www.cs.st-andrews.ac.uk/~rr/pubs/lablunch-20110308.pdf 에 있습니다 .

(내가 구조적 모달 로직에 대해 요청한 이유 중 하나는이 연산자의 사용과 해당 로직의 표현성을 비교하는 것이 었습니다.)

어쨌든, 내가 언급 한 유일한 중요하지 않은 작업은 A. Turquette의 "Australasian Association for Logic 1997 Annual Conference"에서 "Tarski 's Möglichkeit의 일반화"의 연설입니다. 추상은 BSL 4 (4)에 http://www.math.ucla.edu/~asl/bsl/0404/0404-006.ps 기본적으로 Turquette이 애플리케이션 제안 위한 논리 -valued - 상태 시스템을. (이 대화의 메모, 슬라이드 또는 기타 내용을 얻을 수 없었기 때문에 더 많은 정보를 가진 사람의 의견을 보내 주셔서 감사합니다.)$m$$m$

여기에 다른 기사 나 논문을 알고있는 사람이 있습니까?

(응용 프로그램이 없지만 종이를 쓸만한 가치가있는 속성을 찾습니다.)

Rob, 나는 이것이 Tarskian Möglichkeit라고 불렀지 만 Martin Escardo와 나는이 연산자 (A-> B)-> A를 공부했습니다. 몇 년, 주로 고전 정리의 계산 해석과 관련하여. B를 고정 시키면 다음을 정의합니다.

JA = (A-> B)-> A

이것이 강력한 모나드임을 쉽게 알 수 있습니다. JA-> A는 Peirce의 법칙이므로 "선택 모나드"또는 "Peirce 모나드"라고 부릅니다. 사실, 당신의 글에서 언급 한 겉보기에 어리석은 정리는 티코 노프 정리와 같은 비효율적 인 원칙을 해석하는 우리의 연구의 초석입니다. 예를 들어 우리의 논문 중 일부를 살펴보십시오

마르틴 에스 카르 도와 파울로 올리바. 순차적 게임 및 최적의 전략. Royal Society A의 절차, 467 : 1519-1545, 2011.

Martín Escardó Paulo Oliva, 피어스 번역. 순수 및 응용 논리의 연대기, 163 (6) : 681-692, 2012.

또는 다른 웹 사이트 에서 찾을 수 있습니다 : http://www.eecs.qmul.ac.uk/~pbo/

"선택 기능"또는 "게임"이 언급 된 모든 용지는 요청하는 운영자와 관련이 있습니다.

우리는이 연산자를 직관적 인 (최소한) 논리 설정에서 공부하고 있다고 경고해야합니다. 그러나 나는 당신이 선형 논리와 Lukasiewicz 논리의보다 세련된 (구성 적) 설정에서 이것을보고 있다는 것이 매우 흥미 롭습니다.

안부, 파울로