يعرض 1 - 10 نتائج من 220 نتيجة بحث عن '"03B53"', وقت الاستعلام: 1.01s تنقيح النتائج
  1. 1
    دورية أكاديمية
    Smurfing the Square of Opposition: Preface to the Special Issue 7th World Congress on the Square of Opposition Leuven 2022

    المؤلفون: Beziau, Jean-YvesAff1, IDs1178702400357z_cor1, Moretti, Alessio

    المصدر: Logica Universalis. :1-9

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  2. 2
    دورية أكاديمية
    Modeling and shadowing paraconsistent BDI agents

    المؤلفون: Dunin-Kęplicz, BarbaraAff1, Aff2, Szałas, AndrzejAff1, Aff3, IDs1047202309902w_cor2

    المصدر: Annals of Mathematics and Artificial Intelligence. 92(4):855-876

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    Probabilistic Semantics and Calculi for Multi-valued and Paraconsistent Logics

    المؤلفون: Ramos, Jaime, Rasga, João, Sernadas, CristinaAff1, IDs11225024101322_cor3

    المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-35

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
  4. 4
    تقرير
    A basic system of paraconsistent Nelsonian logic of conditionals

    المؤلفون: Olkhovikov, Grigory K.

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

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Arboles de Forzamiento Sem\'antico Trivalentes para el sistema deductivo paraconsistente P1

    المؤلفون: Aristizabal, Manuel Sierra

    مصطلحات موضوعية: Mathematics - Logic, 03B53

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Adding an Implication to Logics of Perfect Paradefinite Algebras

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

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03G10 (Primary) 03C05, 03B50, 03B70, 03B53, 03B22, 03B35, 03C40 (Secondary), F.4.1

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE

    المؤلفون: Coniglio, Marcelo E.

    مصطلحات موضوعية: Computer Science - Logic in Computer Science, Mathematics - Logic, 03B53, 03B62, 03B45, 03B60

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Matrix characterization of Ciuciura's paraconsistent hierarchy $\textsf{Ciu}^n$

    المؤلفون: Fernández, Víctor, Eisenberg, Gabriela

    مصطلحات موضوعية: Mathematics - Logic, 03B50, 03B53

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Generalized explosion principles

    المؤلفون: Basu, Sankha S., Roy, Sayantan

    مصطلحات موضوعية: Mathematics - Logic, 03B53, 03B22, 03B47

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

    أضف إلى المفضلة
  10. 10
    دورية أكاديمية
    Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator

    المؤلفون: Arce Pistone, Victoria, Figallo, MartínAff1, IDs11225023100898_cor2

    المصدر: Studia Logica: An International Journal for Symbolic Logic. :1-38

    Find this article in full text from Springer Verlag. Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء