Results 91 to 100 of about 4,352 (292)
A system of axiomatic set theory. Part IV. General set theory [PDF]
Journal of Symbolic Logic, 1942 Our task in the treatment of general set theory will be to give a survey for the purpose of characterizing the different stages and the principal theorems with respect to their axiomatic requirements from the point of view of our system of axioms. The delimitation of “general set theory” which we have in view differs from that of Fraenkel's general set
openaire +1 more source
, 2013 У статті висвітлюється різноманітність аксіоматичних систем: теорія типів, теорія множин Неймана — Бернайса, теорія множин Куайна, ієрархія теорій множин Tn.В статье освещается разнообразие аксиоматических систем: теория типов, теория множеств Неймана ...
Рудик, Олександр Борисович
core
A Systems‐Level Approach to Address Risks and Ethics in Artificial Intelligence Systems
Systems Engineering, EarlyView.ABSTRACT Artificial intelligence (AI) is rapidly changing the world, from completely controlling routine or mundane tasks like text and image generation, to powering advanced algorithms that control critical systems. The recent advances in generative AI quickly overwhelmed multiple industries from education to finance as first adopters rushed (and ...
Vincent P. Paglioni, Torrey Mortenson
wiley +1 more source
On Strong Intervals in Fuzzy Graphs
Fuzzy Information and Engineering, 2017 Intervals and convexity play crucial roles in the applications of graph theory such as town planning and design of graphics. In this article, the concept of geodetic interval in graphs is extended to fuzzy graphs.
M.V. Dhanyamol, Sunil Mathew
doaj +1 more source
A Radon-Nikodym derivative for almost subadditive set functions [PDF]
In classical measure theory, the Radon-Nikodym theorem states in a concise condition, namely domination, how a measure can be factorized by another (bounded) measure through a density function.
Yann Rébillé
core
Axiomatization and Models of Scientific Theories [PDF]
, 2010 In this paper we discuss two approaches to the axiomatization of scien- tific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models.
Moraes, Fernando T. F. +2 more
core
Systems Engineering, EarlyView.ABSTRACT Mission Engineering is maturing as a Systems Engineering discipline, yet adoption of its common frameworks remains stratified. This study examines whether selective adoption is observable across ME scholarship and develops a framework to address identified barriers.
James Moreland +4 more
wiley +1 more source
What is a model of axiomatic set theory?
, 2012 This is a work in the philosophy of mathematics, about some philosophical issues connected with set theory, especially the conceptual question of the semantics of set theory.
BELLOTTI, LUCA
core
Rule Based Axiomatic Design Theory Guidance for Software Development
, 2012 This research proposes a rule-based approach to system development with Axiomatic Design Theory. The basic complexity is the resolution of the constraints across the Feature Model and the Design parameters addressed through the Axiomatic Design such as ...
Emre Selman Caniaz +6 more
core +1 more source
An Innovative Approach to Multi‐Valued Logic
IEEJ Transactions on Electrical and Electronic Engineering, EarlyView.The current generation of computer systems operates on the principles of binary logic, which encompasses both logical and arithmetic operations. However, silicon technology has reached its peak performance, prompting researchers to explore alternative methods for enhancing computational efficiency. One such method is the adoption of Multi‐Valued Logic (
Ali Mokhtari, Peyman Kabiri
wiley +1 more source