نتائج البحث

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N

• Authors : N.A. Protsenko; V.V. Rybakov

Subjects: modal logic; temporal logic; common knowledge

• Source: Известия Иркутского государственного университета: Серия "Математика", Vol 49, Iss 1, Pp 124-134 (2024)

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

Unsupervised logic mining with a binary clonal selection algorithm in multi-unit discrete Hopfield neural networks via weighted systematic 2 satisfiability

• Authors : Nurul Atiqah Romli; Nur Fariha Syaqina Zulkepli; Mohd Shareduwan Mohd Kasihmuddin

Subjects: discrete hopfield neural network; improved logic mining; binary clonal selection algorithm

• Source: AIMS Mathematics, Vol 9, Iss 8, Pp 22321-22365 (2024)

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

Analysis of Customer Satisfaction with Marketing Services Using Fuzzy Logic

• Authors : Nurli Alifah; Hasanul Fahmi

Subjects: customer satisfaction; marketing services; fuzzy logic

• Source: Journal of Information Systems and Informatics, Vol 6, Iss 2, Pp 1035-1051 (2024)

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

How relevance of philosophy, science and philosophy science through the study of mathematical logic?

• Authors : Farida Farida; Andra Rotama; Dharmawan Dharmawan

Subjects: mathematical logic; philosophy; science.

• Source: Al-Jabar, Vol 15, Iss 1, Pp 75-86 (2024)

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

How Do Higher-Education Students Use Their Initial Understanding to Deal with Contextual Logic-Based Problems in Discrete Mathematics?

• Authors : Lubis, Asrin; Nasution, Andrea Arifsyah

Subjects: Mathematics Instruction; Higher Education; Mathematical LogicIndonesia (Jakarta); Indonesia

• Source: International Education Studies. 2017 10(5):72-86.15

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

Relational Version of the Multi-agent Computation Tree Logic $\mathcal{CTLK}$

• Authors : S. I. Bashmakov; K. A. Smelykh

Subjects: multi-agent logic; branching temporal logic; kripke relational semantics

• Source: Известия Иркутского государственного университета: Серия "Математика", Vol 47, Iss 1, Pp 78-92 (2024)

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

On the Adequacy of a Substructural Logic for Mathematics and Science.

• Authors : Tennant, Neil¹

• Source: Philosophical Quarterly. Oct2022, Vol. 72 Issue 4, p1002-1018. 17p.

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

In Defence of Discrete Plural Logic (or How to Avoid Logical Overmedication When Dealing with Internally Singularized Pluralities).

• Authors : Picazo, Gustavo¹

• Source: Disputatio: International Journal of Philosophy. May2022, Vol. 14 Issue 64, p51-63. 13p.

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

Logic mining with hybridized 3-satisfiability fuzzy logic and harmony search algorithm in Hopfield neural network for Covid-19 death cases

• Authors : Farah Liyana Azizan; Saratha Sathasivam; Nurshazneem Roslan

Subjects: 3sat; covid-19; fuzzy logic system

• Source: AIMS Mathematics, Vol 9, Iss 2, Pp 3150-3173 (2024)

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

Study on sensible beginning divided-search enhanced Karnik-Mendel algorithms for centroid type-reduction of general type-2 fuzzy logic systems

• Authors : Yang Chen; Chenxi Li

Subjects: sensible beginning divided-search ekm algorithms; general type-2 fuzzy logic systems; centroid type-reduction

• Source: AIMS Mathematics, Vol 9, Iss 5, Pp 11851-11876 (2024)

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