الوصف
Excerpt from Decision Procedures for Elementary Sublanguages of Set Theory
This paper tackles the satisfiability problem for the one-sorted language E, which properly extends the purely set-theoretical part (i.e. With no cardinality constructs) of the theory considered in [fos]. In particular we will exhibit a finite and uniform procedure which decides for any given formula P of E whether P has a model or not.
This paper tackles the satisfiability problem for the one-sorted language E, which properly extends the purely set-theoretical part (i.e. With no cardinality constructs) of the theory considered in [fos]. In particular we will exhibit a finite and uniform procedure which decides for any given formula P of E whether P has a model or not.
تفاصيل الكتاب
تنسيق
غلاف ورقي
صفحات
41 صفحات
لغة
الإنجليزية
منشور
Aug 24, 2018
الناشر
Forgotten Books
رقم ISBN-10
133304254X
رقم ISBN-13
9781333042547