logics มีเงื่อนไขนี้ logics ซึ่งขยายความหมายตรรกะแบบดั้งเดิมกับผู้ประกอบกิริยาที่สอดคล้องกับความคิดอื่น ๆ ของสภาพ (เช่นสาเหตุเงื่อนไขอ่าน " ทำให้เกิด 'B' หรือ probabilistic ปรับอากาศ " " ซึ่งอ่าน "กำหนด")
โดยทั่วไปแล้ว logics เหล่านี้จะได้รับการศึกษาในรูปแบบตามหลักทฤษฏี แต่ฉันสงสัยเกี่ยวกับแอพพลิเคชั่นของพวกเขาในการออกแบบภาษาการเขียนโปรแกรม (ตัวอย่างเช่น
ฉันขอขอบคุณที่อ้างอิงถึงทฤษฎีการพิสูจน์ของพวกเขา (เช่นแคลคูลัสตามลำดับ / การหักตามธรรมชาติ) หรือภาษาโปรแกรมที่มีประเภทตามตัวดำเนินการประเภทนี้
ขอบคุณ!
แก้ไข: สารานุกรมปรัชญาสแตนฟอร์ดมีการแนะนำที่ดีเกี่ยวกับเรื่องนี้