يعرض 1 - 10 نتائج من 23 نتيجة بحث عن '"03B50 (Primary)"', وقت الاستعلام: 0.77s تنقيح النتائج
  1. 1
    تقرير
    The interdefinability of expansions of Belnap-Dunn logic

    المؤلفون: Middelburg, C. A.

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B50 (Primary)

    URL الوصول: http://arxiv.org/abs/2403.04641

    أضف إلى المفضلة
  2. 2
    تقرير
    A conventional expansion of first-order Belnap-Dunn logic

    المؤلفون: Middelburg, C. A.

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B50 (Primary)

    URL الوصول: http://arxiv.org/abs/2301.10555

    أضف إلى المفضلة
  3. 3
    تقرير
    Regular Double $p$-Algebras: A converse to a Katri\v{n}\'{a}k's Theorem, and Applications

    المؤلفون: Cornejo, Juan M., Kinyon, Michael, Sankappanavar, Hanamantagouda P.

    المصدر: Math. Slovaca 73 (2023), 1-16

    مصطلحات موضوعية: Mathematics - Logic, 03G25, 06D20, 08B15, 06D15, 03C05, 03B50 (primary), 08B26, 06D30, 06E75 (secondary)

    URL الوصول: http://arxiv.org/abs/2210.10387

    أضف إلى المفضلة
  4. 4
    تقرير
    Proof Search on Bilateralist Judgments over Non-deterministic Semantics

    المؤلفون: Greati, Vitor, Marcelino, Sérgio, Marcos, João

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B50 (Primary), 03B22 (Primary), 03A05 (Primary), 03B35 (Primary), 03B25, F.4.1, I.1.2

    URL الوصول: http://arxiv.org/abs/2107.08349

    أضف إلى المفضلة
  5. 5
    تقرير
    Some modal and temporal translations of generalized basic logic

    المؤلفون: Fussner, Wesley, Botero, William Zuluaga

    مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science, 03B50 (Primary) 03G25, 03B45 (Secondary)

    URL الوصول: http://arxiv.org/abs/2106.05573

    أضف إلى المفضلة
  6. 6
    تقرير
    An Epimorphism between Fine and Ferguson's Matrices for Angell's AC

    المؤلفون: Zach, Richard

    المصدر: Logic and Logical Philosophy vol. 32, no. 2 (2023), pp. 161-179

    مصطلحات موضوعية: Mathematics - Logic, 03B47 (Primary), 03B50 (Primary), 03-08 (Secondary), 08-08 (Secondary)

    URL الوصول: http://arxiv.org/abs/2105.15160

    أضف إلى المفضلة
  7. 7
    تقرير
    Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics

    المؤلفون: Caleiro, Carlos, Marcos, João, Volpe, Marco

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B50 (Primary), 03B35 (Secondary)

    URL الوصول: http://arxiv.org/abs/1408.3775

    أضف إلى المفضلة
  8. 8
    تقرير
    Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics

    المؤلفون: Baaz, Matthias, Preining, Norbert, Zach, Richard

    المصدر: 33rd International Symposium on Multiple-valued Logic. Proceedings. Tokyo, May 16-19, 2003 (IEEE Computer Society Press, 2003) 175-180

    مصطلحات موضوعية: Mathematics - Logic, 03B50 (Primary) 03B52, 03B55 (Secondary)

    URL الوصول: http://arxiv.org/abs/math/0303011

    أضف إلى المفضلة
  9. 9
    تقرير
    Approximating Propositional Calculi by Finite-valued Logics

    المؤلفون: Baaz, Matthias, Zach, Richard

    المصدر: 24th International Symposium on Multiple Valued Logic. Boston. Proceedings (IEEE Press, Los Alamitos, 1994) 257-263

    مصطلحات موضوعية: Mathematics - Logic, 03B50 (Primary), 03B45, 03B60 (Secondary)

    URL الوصول: http://arxiv.org/abs/math/0203204

    أضف إلى المفضلة
  10. 10
    تقرير
    Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic

    المؤلفون: Baaz, Matthias, Zach, Richard

    المصدر: Clote, Peter G., and Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Fischbachau, Germany, August 21-26, 2000. Proceedings, pp. 187-201. Springer, Berlin, 2000

    مصطلحات موضوعية: Mathematics - Logic, 03B50 (Primary) 03B55, 03F05 (Secondary)

    URL الوصول: http://arxiv.org/abs/math/0005183

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء