نتائج البحث

Boolean Subtypes of the U4 Hexagon of Opposition.

• Authors : Demey, Lorenz^1,2 (AUTHOR) ; Erbas, Atahan¹ (AUTHOR)

• Source: Axioms (2075-1680). Feb2024, Vol. 13 Issue 2, p76. 20p.

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

Can Business Models Facilitate Strategic Transformation in Construction Firms? A Systematic Review and Research Agenda.

• Authors : Das, Priyadarshini^1,2 (AUTHOR) ; Hijazi, Amer A.^2,3,4,5 (AUTHOR) ; Maxwell, Duncan W.^2,3 (AUTHOR)

Subjects: *BUSINESS models; *COOPETITION; *STRATEGIC alliances (Business)

• Source: Sustainability (2071-1050). Sep2023, Vol. 15 Issue 17, p13022. 20p.

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

A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays.

• Authors : Díaz-Macías, Efraín¹ (AUTHOR) ; Moral, Serafín² (AUTHOR)

• Source: Mathematics (2227-7390). Jun2023, Vol. 11 Issue 12, p2748. 28p.

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

A Comprehensive Formalization of Propositional Logic in Coq: Deduction Systems, Meta-Theorems, and Automation Tactics.

• Authors : Guo, Dakai¹ (AUTHOR) ; Yu, Wensheng¹ (AUTHOR)

• Source: Mathematics (2227-7390). Jun2023, Vol. 11 Issue 11, p2504. 28p.

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

Fullness and Decidability in Continuous Propositional Logic.

• Authors : Ren, Xuanzhi¹ (AUTHOR)

• Source: Mathematics (2227-7390). Dec2022, Vol. 10 Issue 23, p4455. 17p.

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

Decidability Preservation and Complexity Bounds for Combined Logics.

• Authors : Caleiro, Carlos¹ (AUTHOR) ; Marcelino, Sérgio¹ (AUTHOR)

• Source: Mathematics (2227-7390). Oct2022, Vol. 10 Issue 19, p3481. 19p.

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

Smart Sensorization Using Propositional Dynamic Logic.

• Authors : Merino, Salvador¹ (AUTHOR) ; Burrieza, Alfredo² (AUTHOR) ; Guzman, Francisco³ (AUTHOR)

• Source: Sensors (14248220). May2022, Vol. 22 Issue 10, p3899-3899. 17p.

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

Understanding the Axioms and Assumptions of Logical Mathematical Systems through Raster Images: Application to the Construction of a Likert Scale.

• Authors : Viladevall, Queralt^1,2 (AUTHOR) ; Linares-Mustarós, Salvador^1,3 (AUTHOR) ; Huertas, Maria Antonia¹ (AUTHOR)

• Source: Axioms (2075-1680). Dec2023, Vol. 12 Issue 12, p1064. 14p.

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

Residuated Basic Logic.

• Authors : Lin, Zhe¹ (AUTHOR) ; Ma, Minghui² (AUTHOR)

• Source: Axioms (2075-1680). Oct2023, Vol. 12 Issue 10, p966. 18p.

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

Bilateral Connexive Logic.

• Authors : Francez, Nissim

Subjects: ARBITRARY constants; NEGATION (Logic); AXIOMS

• Source: Logics; Sep2023, Vol. 1 Issue 3, p157-162, 6p

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