In this article, the use of software design patterns for modeling the stages of a compiler is presented. The compiler is generated for expressing disjunctions and logic propositions into optimization mathematical programs. It works linked to a mathematical modeling system, because the introduction of logic into those programs completes them instead of replacing them. It works as a post-compilat...

The last chapter presented the general concept of a logic. In this chapter we consider a particular logic | rst order predicate calculus, also known as simply rst order logic. First order logic is by far the most widely studied logic. It was rst formulated by Guttlob Frege in 1879. However, the fundamental semantic properties of rst order logic were not really understood until the work of Skole...

The paper analyzes the main areas of application mathematical methods in medical diagnostics, formulates principles diagnostics based on fuzzy logic; developed models and algorithms that formalize process making diagnostic decisions logic with quantitative qualitative parameters patient's condition; membership function. Mathematical have been functions, formalizing representation condition form...

It is my great pleasure to welcome you to Axioms: Mathematical Logic and Mathematical Physics, a new open access journal, which is dedicated to the foundations (structure and axiomatic basis, in particular) of mathematical and physical theories, not only on crisp or strictly classical sense, but also on fuzzy and generalized sense. This includes the more innovative current scientific trends, de...

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity. Mathematics Subject Classification (2000): 03Fxx. Introduction by the Organisers The workshop Mathematical Logic: Proof Theory, Constructive Mathematics was held November 6-12, 2011...

[1] Apt, K. R.: Logic Programming, Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), Elsevier Science Publishers B.V., 1990. [2] Chang, C.-L. and Lee, R. C.-T.: Symbolic Logic and Mechanical Theorem Proving, Academic Press Inc., 1973. [3] Kowalski, R.: Logic for Problem Solving, North Holland, 1979. [4] Lloyd, J. W.: Foundations of Logic Programming, 2nd Edition, Springer Verlag, ...

[1] Apt, K. R.: Logic Programming, Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), Elsevier Science Publishers B.V., 1990. [2] Chang, C.-L. and Lee, R. C.-T.: Symbolic Logic and Mechanical Theorem Proving, Academic Press Inc., 1973. [3] Kowalski, R.: Logic for Problem Solving, North Holland, 1979. [4] Lloyd, J. W.: Foundations of Logic Programming, 2nd Edition, Springer Verlag, ...

In this paper, a control strategy is proposed for control of ankle movement on animals using intraspinal microstimulation (ISMS). The proposed method is based on fuzzy logic control. Fuzzy logic control is a methodology of intelligent control that mimics human decision-making process. This type of control method can be very useful for the complex uncertain systems that their mathematical model ...

Determining and selecting an appropriate location to construct a hotel is one of the most challenging concerns which hotel industry investors are facing with. In this study we attempt to find a suitable response to this research/application need by a mathematical model using the queueing theory and the fuzzy logic. Therefore hotel, the reception system and travelers accommodations are formulate...

In mathematical logic, the notions of mathematical structure, language and proof themselves become the subject of mathematical investigation, and are treated as first class mathematical objects in their own right. Model theory is the branch of mathematical logic that is particularly concerned with the relationship between structure and language. It seeks to establish the limits of the expressiv...