Plan of Activities on the Map Calculus
نویسندگان
چکیده
Tarski-Givant's map calculus is brieey reviewed and a plan of research is outlined , aimed at investigating applications of this formalism in the theorem-proving eld. The connections between rst-order logic and the map calculus are investigated , focusing on techniques for translating single sentences from one context to the other as well as on the translation of entire set theories. Issues regarding 'safe' forms of map reasoning are singled out, in sight of possible generalizations to the database area.
منابع مشابه
Plan of activities on the map
Tarski-Givant's map calculus is brieey reviewed and a plan of research is outlined , aimed at investigating applications of this formalism in the theorem-proving eld. The connections between rst-order logic and the map calculus are investigated , focusing on techniques for translating single sentences from one context to the other as well as on the translation of entire set theories. Issues reg...
متن کاملEditorial: New Iranian Strategic Plan on Addiction Biology Studies Has a Clear Message for Neuroscientists “Your Help is Seriously Needed”
The fifth Iranian national congress on the biology of addiction was held in 22-24 June 2011 in Tehran University of Medical Sciences with over 100 valuable oral and poster presentations and over 300 participants. One of the main sessions of the congress was devoted to a national strategic planning and Iranian Drug Control Head Quarter (DCHQ) introducing the first national executive road map on ...
متن کاملOn certain fractional calculus operators involving generalized Mittag-Leffler function
The object of this paper is to establish certain generalized fractional integration and differentiation involving generalized Mittag-Leffler function defined by Salim and Faraj [25]. The considered generalized fractional calculus operators contain the Appell's function $F_3$ [2, p.224] as kernel and are introduced by Saigo and Maeda [23]. The Marichev-Saigo-Maeda fractional calculus operators a...
متن کاملAn analytic study on the Euler-Lagrange equation arising in calculus of variations
The Euler-Lagrange equation plays an important role in the minimization problems of the calculus of variations. This paper employs the differential transformation method (DTM) for finding the solution of the Euler-Lagrange equation which arise from problems of calculus of variations. DTM provides an analytical solution in the form of an infinite power series with easily computable components. S...
متن کاملApplication of Mathematics in Financial Management
The Time Value of Money is a important concept in Financial Management. The Time Value of Money includes the concepts of future value and discounted value or present value. In the present article, the basic notions and illustrate with their application in the field of investment which is presented in the mathematical terms in form of theorems and we also presented the applications of some well ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998