ตรรกะเชิงเส้นถูกตีความโดยใช้ช่องว่างที่ต่อเนื่องกันและพวกมันมีลักษณะเด่นในเอกสารของ Girard ฉันรู้ว่าทั้งสามวิธีหลักในการอย่างเป็นทางการกำหนดให้พวกเขาและพวกเขาไม่ได้จริงๆก่อให้เกิดปัญหาใด ๆ ในการใช้และพิสูจน์สิ่งที่เกี่ยวกับ แต่ฉันก็ไม่สามารถเข้าใจสิ่งที่พวกเขาหมายถึง
มันรู้สึกเหมือนมีวิธีทำความเข้าใจพวกเขาอยู่บ้าง ก่อนอื่นมีตัวอย่างเกี่ยวกับพวกมันที่ใช้ฟังก์ชั่นกับ booleans (เช่นwiki ที่ไหนสักแห่ง ) และมันบ่งบอกถึงสิ่งที่น่าสนใจและมีความหมายเบื้องหลังคำจำกัดความที่เป็นทางการ แต่เป็นพื้นที่เชื่อมโยงกันง่ายมากกับก๊กขนาดไม่มีbool
> 1
ใครบางคนสามารถอธิบายรายละเอียด?
อีกสิ่งหนึ่งที่ Girard บอกว่าบางจุดของพื้นที่ที่ต่อเนื่องกันนั้นหมายถึง "ลำดับคำถาม / คำตอบ" โดยเฉพาะโดยมีสองจุดที่เชื่อมโยงกันหากพวกเขา "แยกไปสองทางลบ (เช่นในคำถามที่แตกต่างกัน)" และไม่ต่อเนื่อง [1] ดูเหมือนจะเป็นความคิดที่เข้าใจง่าย แต่ฉันก็ไม่สามารถประดิษฐ์ตัวอย่างได้ดังนั้นจึงหมายความว่าฉันไม่ได้รับ ...
มีคนช่วยฉันด้วยได้ไหม
[1] JY ราร์ดผีของความโปร่งใส URL: http://iml.univ-mrs.fr/~girard/longo1.pdf