Methodology for determining the impact level of municipalities' fiscal capacity on AIC sustainability by Arzumanyan Misak

“…The methodology is based on mathematical logic, represents a three-stage analysis, involves comparing the values of budget indicators (in the revenue side - two indicators; in the expenditure side - six indicators) with the values of indicators of four fundamental components of AIC sustainable development (economic (E), social (S), environmental (N), institutional (I) of municipal districts by calculating correlation coefficients, their transformation into an aggregate form, the formation of which is based on the synergy principle. …”
Get full text

What’s behind meaning? by Alberto Peruzzi

“…On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structure of language, rely on the existence of end products in the morphogenesis of meaning. …”
Get full text

Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School by Jan Woleński

“…Its research program was outlined by Zygmunt Janiszewski (the Janiszewski program) and suggested that Polish mathematicians should concentrate on special branches of studies, including set theory, topology and mathematical logic. In this way, the foundations of mathematics became a legitimate part of mathematics. …”
Get full text

How to Complete Quantum Mechanics, or, What It’s Like to Be a Naturally Creative Bohmian Beable by Robert Hanna

“…In another essay, I’ve argued by means of a formal analogy between (i) the incompleteness of Principia Mathematica-style systems of mathematical logic (logico-mathematical incompleteness) and (ii) the incompleteness of the Standard Models in contemporary physics (physico-mechanical incompleteness), that (iii) just as the fact of logico-mathematical incompleteness entails the existence of mathematical creativity, so too the fact of physico-mechanical incompleteness entails the existence of natural creativity. …”
Get full text

Foundations of Rule−Based Query Answering by Bry, F, Eisinger, N, Eiter, T, Furche, T, Gottlob, G, Ley, C, Linse, B, Pichler, R, Wei, F

“…It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of query evaluation. …”

The bhūtasaṃkhyā notation: numbers, culture, and language in Sanskrit mathematical literature by Petrocchi, A

“…</p> <p>In order to understand cognitive and social functions served by this numerical notation system, I attempt to delineate, with the use of a formalized language typical of mathematical logic, the dialectic between numbers and collective representations in the context of ancient Indian culture.…”

هل المنطق الأرسطي صوري حقاً؟ by رشيد صالح

“…This research tries to prove that Aristotle's syllogistic theory was not pure formal logical theory, and that the relationship between Aristotle's logic and the mathematical logic spite of some common matters, is relation of difference, and not relation of continuity. …”
Get full text

هل المنطق الأرسطي صوري حقاً؟ by رشيد صالح

“…This research tries to prove that Aristotle's syllogistic theory was not pure formal logical theory, and that the relationship between Aristotle's logic and the mathematical logic spite of some common matters, is relation of difference, and not relation of continuity. …”
Get full text

Impact of Time Preference on Economic Growth by Rahim Dallali Isfahani, Mohammad Vaez Barzani, saeid Zareian

“…According to the microeconomic theoretical foundations, and using mathematical logic, this study provides a logical reasoning in analyzing macroeconomic phenomena. …”
Get full text

Integrating Heterogeneous Graphs Using Graph Transformer Encoder for Solving Math Word Problems by Soyun Shin, Jaehui Park, Moonwook Ryu

“…Moreover, we discuss that integrating different types of textual characteristics may improve the quality of mathematical logic inference from natural language sentences.…”
Get full text

A Prototype of a Decision Support System for Equine Cardiovascular Diseases Diagnosis and Management by María Villalba-Orero, Eugenio Roanes-Lozano

“…The novelty of this work relies on the organization of the equine cardiology workflow in mathematical logic form, that allowed designing, develop and implement a DSS in this new field. …”
Get full text

Enhancing the achievement in physics’ motion concept through online multiple intelligence learning approach by Ahamad, Adri Nirwan, Samsudin, Mohd Ali, Ismail, Mohd Erfy, Ahmad, Nur Jahan

“…The findings reveal that online multiple intelligence-based learning had an effect on the achievement in physics’ force and motion concepts with mathematical logic and Intrapersonal intelligence group performed significantly better than others.…”
Get full text

ETHNOMATHEMATICS EXPLORATION IN THE PED’OA TRADITIONAL DANCE OF THE SABU COMMUNITY IN THE RAIJUA DISTRICT by Paul Erikson Wada Wiri, Wara Sabon Dominikus, Patrisius Afrisno Udil

“…Based on those activities, mathematical concepts can be identified in the Ped’oa traditional dance, including multiplication, geometry, number patterns, geometric transformations, and mathematical logic. Those various mathematical concepts can be developed by designing mathematics learning tools that can be applied in mathematics learning, both for primary and secondary education levels…”
Get full text

The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic by Gianfranco Basti

“…I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). …”
Get full text

Design process in footwear industry using the potential of universal CAD system by Olesya A. Surovtseva

“…The theoretical and methodological basis of the study is the theory of complex systems simulation; the operations research theory; the method of system- structural analysis of objects; the classification and coding technique; the methodology of data systems development, databases and knowledgebases creation; the mathematical logic; the method of aprior ranking of factors. …”
Get full text

The Current Situation, Problems and Development Concepts of Korean Language Education in Chinese Universities under the Integration of Information Technology by Chu Lina

“…This paper proposes a mathematical model for the dynamic measurement of the level of informatization of Korean language education, which adopts a mathematical logic method to comprehensively examine the attributes, functions, and values of each part of the construction of informatization of Korean language education, and dynamically regulate the relationship between the whole and the parts. …”
Get full text

Implementation of Ethnomathematics Strategy in Indonesian Traditional Games as Mathematics Learning Media by Zuhri Zuhri, Sinta Verawati Dewi, Jaka Wijaya Kusuma, Sri Rafiqoh, Isnaini Mahuda, Hamidah Hamidah

“…The results of the study show that there are several mathematical topics in the game, including plane geometry, the concept of the relationship between angles (opposite angles and straight angles), cube net, congruence, the concept of reflection, the concept of mathematical logic, and the concept of probability. Hopscotch can be used as a medium for learning mathematics as a learning innovation in schools. …”
Get full text

Recreational and tourist destination research methods by Tetiana Bozhuk

“…To study and synthesis of theoretical and methodological approaches to determining the conceptual and terminology used RTDe research methods and logical structure and system analysis (structural and geographic analysis); in identifying and clarifying the spatial patterns of differences in territorial organization used methods of space-time analysis; for comparative characteristics of individual properties RTDe and regional level – comparative method; to systematize information, determine the classification categories of types and subtypes RTDe – methods of systematization and classification; to study the history of RTDe, the origin of their individual components and varieties – historical-geographical method; in the present state of research, planning and organizational and functional structure of different types RTDe methods applied field research (conducted in 2006-2013 years.) poll (questionnaire), peer assessment, recording and evaluation of Christian sacred objects for the needs of tourism and recreation, mathematical logic and computer graphics, and other cartographic modeling. …”
Get full text

Digital flipbook module in circulatory system to facilitate student different intelligent and learning style by Rida Oktorida Khastini, Mila Ermila Hendriyani, Mahrawi Mahrawi, Nurul Hayat Hibatullah

“…Development of digital flipbook modules based on nine types of intelligence: linguistic, mathematical logic, kinesthetic, visual-spatial, musical, interpersonal, intrapersonal, naturalist, and existential. …”
Get full text

Faithful (meta-)encodings of programmable strategies into term rewriting systems by Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau

“…Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transformations one wants to operate and rewriting strategies are used to con- trol their application. …”
Get full text