Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

Filter

فلترة النتائج

Publisher : springer nature Subject : 0101 mathematics Subject : 0102 computer and information sciences Subject : business.industry Subject : mathematical logic Subject : mathematics Subject : symbols فلترة بواسطة : موضوع

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Free Semantics.

Authors : Brady, Ross¹

Source: Journal of Philosophical Logic. Oct2010, Vol. 39 Issue 5, p511-529. 19p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

The Modal Logic of Gödel Sentences.

Authors : Kushida, Hirohiko¹

Source: Journal of Philosophical Logic. Oct2010, Vol. 39 Issue 5, p577-590. 14p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Inferentializing Semantics.

Authors : Peregrin, Jaroslav¹

Source: Journal of Philosophical Logic. Jun2010, Vol. 39 Issue 3, p255-274. 20p. 6 Diagrams.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Fuzzy h-ideals in h-hemiregular and h-semisimple $$\Upgamma$$-hemirings.

Authors : Xueling Ma¹ ; Jianming Zhan¹

Source: Neural Computing & Applications. Apr2010, Vol. 19 Issue 3, p477-485. 9p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

A note on the theory of positive induction, $${{\rm ID}^*_1}$$.

Authors : Afshari, Bahareh¹ ; Rathjen, Michael¹

Source: Archive for Mathematical Logic. Mar2010, Vol. 49 Issue 2, p275-281. 7p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Generalized Kripke semantics for Nelson's logic.

Authors : Latkin, E. I.

Source: Algebra & Logic. Dec2010, Vol. 49 Issue 5, p426-443. 18p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

On Probability Domains.

Authors : Frič, Roman¹ ; Papčo, Martin²

Source: International Journal of Theoretical Physics. Dec2010, Vol. 49 Issue 12, p3092-3100. 9p. 3 Diagrams.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Some Remarks on the Notion of Separability Within the Creation Discovery View.

Authors : Christiaens, Wim¹; de Ronde, Christian^1,2 ; D'Hooghe, Bart^1,2

Source: International Journal of Theoretical Physics. Dec2010, Vol. 49 Issue 12, p3061-3068. 8p. 1 Diagram.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

A spatial equational logic for the applied π-calculus.

Authors : Lozes, Étienne¹ ; Villard, Jules¹

Source: Distributed Computing. Sep2010, Vol. 23 Issue 1, p61-83. 23p. 6 Diagrams, 2 Charts.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Academic Journal

Essential pure monomorphisms of sheaves of group actions.

Authors : Ebrahimi, M. M.¹ ; Haddadi, M.¹

Source: Semigroup Forum. Jun2010, Vol. 80 Issue 3, p440-452. 13p.

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي