सशर्त लॉजिक्स लॉजिक्स हैं जो अन्य संक्रियाओं के अनुरूप मोडल ऑपरेटरों के साथ पारंपरिक तार्किक प्रभाव को बढ़ाते हैं (उदाहरण के लिए, कारण सशर्त पढ़ता है " ए कारण" बी ", या संभाव्य कंडीशनिंग" ए | बी ", जो" ए दिया बी "पढ़ता है)।
आमतौर पर इन लॉजिक्स का मॉडल-सैद्धांतिक रूप से अध्ययन किया जाता है, लेकिन मैंने उनके अनुप्रयोगों को प्रोग्रामिंग लैंग्वेज डिज़ाइन (उदाहरण के लिए, अपरिपक्व क्रियाओं के लिए) के बारे में सोचा है।
मैं उनके प्रूफ थ्योरी (यानी, सीक्वेंट कैलकुलस / नेचुरल डिडक्शन) के संदर्भों की सराहना करता हूं, या इन प्रकार के मोडल ऑपरेटर्स के आधार पर टाइप करने वाली भाषाओं की प्रोग्रामिंग करता हूं।
धन्यवाद!
EDIT: द स्टैनफोर्ड एनसाइक्लोपीडिया ऑफ फिलॉसफी का विषय से अच्छा परिचय है ।
हैलो नील, यह काफी दिलचस्प लगता है। मैंने Google "सशर्त लॉजिक्स" की कोशिश की, लेकिन बहुत कुछ नहीं मिला। क्या आप कृपया परिचयात्मक पत्र या सीएल के बारे में अधिक जानने के लिए कुछ सुझाव दे सकते हैं? धन्यवाद
—
IamMeeoh