Results 81 to 90 of about 503 (185)
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Advanced Engineering Research, 2007 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj
SEMIOTICS- INTEGRAL PART OF THE ECONOMIC HERMENEUTICS [PDF]
Analele Universităţii Constantin Brâncuşi din Târgu Jiu : Seria Economie, 2016 Although a social science, economy makes use of the tools of numbers and precise data. Should we not include semiotics in the theory of economic interpretation, the axiomatization of the economic science would be impossible and furthermore the ...
ANDA- LAURA LUNGU
doaj
Non-Additive Entropy Formulas: Motivation and Derivations. [PDF]
Entropy (Basel), 2023 Biró TS, Deppman A.
europepmc +1 more source
The Axiomatization of Propositional Logic
Formalized Mathematics, 2016 Summary This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of the language are as follows φ ::= ⊥ | p | φ → φ. Other connectives are introduced as abbrevations. The notions of model and satisfaction in model are defined. The axioms are all the formulae of the following schemes
openaire +3 more sources
Revealed desirability: a novel instrument for social welfare. [PDF]
Theory Decis, 2022 Barokas G.
europepmc +1 more source
Automatic differentiation of uncertainties: an interval computational differentiation for first and higher derivatives with implementation. [PDF]
PeerJ Comput Sci, 2023 Dawood H, Megahed N.
europepmc +1 more source
TábanoThis work aims to analyse Alain Badiou’s critique of Gilles Deleuze’s Logic of Sense and theory of the event in Logics of Worlds. This is done under the hypothesis that Badiou axiomatizes Deleuze to mathematically scrutinize the mainframe of Logic of ...
Felipe A. Matti
doaj +1 more source
THE ROLE OF AXIOMATIZATION IN THE PROCESS OF MATHEMATICAL THEORY CONSTRUCTION
Вестник Донского государственного технического университета, 2018 The article covers one of the formalization forms - axiomatization - and its role in the process of construction of mathematical theory and its foundations (abstract mathematical objects).
S.I. MASALOVA
doaj
Axiomatization of Approximate Exclusion
Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and ReasoningWe define and axiomatize approximate exclusion atoms in the team semantic setting. A team is a set of assignments, which can be seen as a mathematical model of a uni-relational database. We say that an approximate exclusion atom is satisfied in a team if the corresponding usual exclusion atom is satisfied in a large enough subteam.
openaire +3 more sources
Sheffer Stroke Hoop Algebras: From Axiomatization to Isomorphism Theorems
MathematicsIn this paper, we introduce and formalize the theory of Sheffer stroke hoop algebras, providing a minimal axiomatization for bounded hoop algebras utilizing a single binary operation.
Amal S. Alali +4 more
doaj +1 more source