المساق
arXiv 2013-12-11 0 مشاهدة

A polynomial time complete disjunction property in intuitionistic propositional logic

Arai, Toshiyasu

Logic Logic in Computer Science 03F99

الأصل · EN

We extend the polynomial time algorithms due to Buss and Mints(APAL 1999) and Ferrari, Fiorentini and Fiorino(LPAR 2002) to yield a polynomial time complete disjunction property in intuitionistic propositional logic.

الترجمة العربية

لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.

تحقّق أمني

اكتب الأحرف الظاهرة أعلاه

حتى 10 ترجمات لكل شخص يومياً.

اقرأ على arXiv