प्रोजेक्टिविटी और समान पोस्ट इंटरपोलेंट: शास्त्रीय और आवेगात्मक तर्क

इस पत्र में हम प्रोजेक्टिविटी (जिसका परिचय S. Ghilardi ने दिया था) और शास्त्रीय और आवेगात्मक प्रस्तावना तर्क के लिए समान पोस्ट-इंटरपोलेंट के बीच के अंतःक्रिया की जांच करते हैं। अधिक सटीकता से, हम यह पता लगाते हैं कि क्या एक फॉर्मूला का प्रोजेक्टिव प्रतिस्थापन इसके समान पोस्ट इंटरपोलेंट के समकक्ष है, यह मानते हुए कि प्रतिस्थापन इंटरपोलेंट के चर को अपरिवर्तित छोड़ देता है। हम दिखाते हैं कि शास्त्रीय तर्क में, यह सभी फॉर्मूलों के लिए उचित है। हालांकि इस तरह की अच्छी विशेषता आवेगात्मक तर्क में अनुपस्थित है, हम इस विशेषता वाले प्रस्तावों के लिए क्रिपके सेमांटिकल विशेषण प्रदान करते हैं। इसका मुख्य अनुप्रयोग यह है कि हम दिखाते हैं कि आवेगात्मक तर्क के कुछ विस्तारों का एकीकरण प्रकार सीमित है। अंत में, हम कुछ फॉर्मूलों के सेट के संबंध में आवेगात्मक तर्क के लिए अनुमत्यता का अध्ययन करते हैं। इस पत्र के पहले लेखक ने हाल ही में इस सापेक्ष अनुमत्यता के एक विशेष मामले पर विचार किया और इसे हैयटिंग अंकगणित की प्रमाणता तर्क को वर्णित करने में उपयोगी पाया।