دورية أكاديمية
A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
| العنوان: | A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3 |
|---|---|
| المؤلفون: | Robles, GemmaAff1, Méndez, José M. |
| المصدر: | Journal of Logic, Language and Information. 30(3):533-556 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 09258531 15729583 |
|---|---|
| DOI: | 10.1007/s10849-021-09336-9 |