التفاصيل البيبلوغرافية
| العنوان: |
Forcing in Łukasiewicz Predicate Logic. |
| المؤلفون: |
Antonio Nola, George Georgescu, Luca Spada |
| المصدر: |
Studia Logica; Jun2008, Vol. 89 Issue 1, p111-145, 35p |
| مستخلص: |
Abstract In this paper we study the notion of forcing for Łukasiewicz predicate logic (Ł∀, for short), along the lines of Robinson’s forcing in classical model theory. We deal with both finite and infinite forcing. As regard to the former we prove a Generic Model Theorem for Ł∀, while for the latter, we study the generic and existentially complete standard models of Ł∀. [ABSTRACT FROM AUTHOR] |
|
Copyright of Studia Logica is the property of Springer Nature and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| قاعدة البيانات: |
Complementary Index |
Find this article in full text from Springer Verlag. 
Full Text Finder