substructural
منطق زیرساختی: آغازگر
دانلود کتاب Substructural logics: A primer (به فارسی: منطق زیرساختی: آغازگر) نوشته شده توسط «Francesco Paoli» اطلاعات کتاب منطق زیرساختی: آغازگر موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Francesco Paoli زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 316 حجم کتاب: 3 مگابایت نوبت چاپ: Pre-final دانلود کتاب «منطق زیرساختی: آغازگر»
شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی
دانلود کتاب Residuated lattices: An algebraic glimpse at substructural logics (به فارسی: شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی) نوشته شده توسط «Nikolaos Galatos – Peter Jipsen – Tomasz Kowalski – Hiroakira Ono» اطلاعات کتاب شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Nikolaos Galatos – Peter Jipsen – Tomasz Kowalski – Hiroakira Ono زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 517 حجم کتاب: 6 مگابایت کد کتاب: 0444521410 , 9780444521415 , 9780080489643 دانلود…
منطق زیرساختی
دانلود کتاب Substructural Logics (به فارسی: منطق زیرساختی) نوشته شده توسط «Peter Schroeder-Heister – Kosta Dosen» اطلاعات کتاب منطق زیرساختی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Clarendon Press نویسنده: Peter Schroeder-Heister – Kosta Dosen زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 397 حجم کتاب: 4 مگابایت کد کتاب: 0198537778 , 9780198537779 توضیحات کتاب منطق زیرساختی منطق زیرساختی شامل خانواده ای از منطق های غیرکلاسیک است که در پاسخ به مشکلاتی در علوم کامپیوتر نظری، زبان شناسی ریاضی و نظریه مقوله پدید آمدند. آنها شامل منطق شهودگرایانه، منطق مرتبط، منطق BCK،…
منطق مرتبط و زیرساختی
دانلود کتاب Relevant and Substructural Logic (به فارسی: منطق مرتبط و زیرساختی) نوشته شده توسط «Greg Restall» اطلاعات کتاب منطق مرتبط و زیرساختی موضوع اصلی: منطق نوع: کتاب الکترونیکی نویسنده: Greg Restall زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 105 حجم کتاب: 2 مگابایت دانلود کتاب «منطق مرتبط و زیرساختی»
منطق زیرساختاری: یک آغازگر
دانلود کتاب Substructural Logics: A Primer (به فارسی: منطق زیرساختاری: یک آغازگر) نوشته شده توسط «F. Paoli» اطلاعات کتاب منطق زیرساختاری: یک آغازگر موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Springer نویسنده: F. Paoli زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2002 تعداد صفحه: 316 حجم کتاب: 7 مگابایت کد کتاب: 1402006055 , 9781402006050 نوبت چاپ: 1 توضیحات کتاب منطق زیرساختاری: یک آغازگر پائولی (U. de Cagliari، ایتالیا) با ماندن در مرزهای منطق گزاره‌ای، بررسی به‌روزی از این شاخه برجسته‌تر حوزه تحقیقاتی معروف به منطق غیرکلاسیک ارائه می‌کند، موضوع را از دیدگاه‌های تاریخی و…
شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی
دانلود کتاب Residuated Lattices: An Algebraic Glimpse at Substructural Logics (به فارسی: شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی) نوشته شده توسط «Galatos N. – Jipsen P. – Kowalski T.» اطلاعات کتاب شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier نویسنده: Galatos N. – Jipsen P. – Kowalski T. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 504 حجم کتاب: 6 مگابایت توضیحات کتاب شبکه های باقی مانده: نگاهی اجمالی جبری به منطق های زیرساختی این کتاب…