Results 11 to 20 of about 250,783 (371)
Notre Dame Journal of Formal Logic, 1985 This paper provides three new axiom systems for Lesniewski's mereology. Equivalence with other systems is established proof-theoretically. One of the systems has a single axiom (and a single definition). For a shorter single axiom for mereology, see the author's paper reviewed below (see Zbl 0595.03021).
Audoënus Le Blanc
openalex +3 more sources
Nash Bargaining in Ordinal Environments [PDF]
, 2008 We analyze the implications of Nash’s (1950) axioms in ordinal bargaining environments; there, the scale invariance axiom needs to be strenghtened to take into account all order-preserving transformations of the agents’ utilities.
Kıbrıs, Özgür
core +4 more sources
Towards a Theory of Interoperability of Software Systems
Ingeniería e Investigación, 2023 Interoperability is a property of software quality that is related to the cooperation between software systems for exchanging information. However, this concept is not well explained or understood.
Diana Maria Torres-Ricaurte +3 more
doaj +1 more source
Rethinking Painting Style from the Phenomeno-Logical Perspective. Fine Art and Axiomatic Method [PDF]
Phainomena, 2019 It is known that a professional artist can enter the structure of any already created painting style, simulate it, or even independently create in it. Today, a painter can, for example, paint an impressionist, fauvist, cubist, etc., composition.
Jožef Muhovič
doaj +1 more source
Internet Mathematics, 2014 Given a social network, which of its nodes are more central? This question has been asked many times in sociology, psychology and computer science, and a whole plethora of centrality measures (a.k.a. centrality indices, or rankings) were proposed to account for the importance of the nodes of a network.
P. Boldi, S. Vigna
openaire +3 more sources
Motahari’s Philosophical approach to the question of the relation between Reason and Religion [PDF]
حکمت و فلسفه, 2015 The relationship between Reason and Religion is one of the most fundamental matters in the territory of Philosophy of Religion and philosophical epistemology. Theologians have considered especially religious aspects of it from many centuries ago and have
mehdi behniafar, hamideh mokhtari
doaj +1 more source
Numerical computations for Operator axioms
AIMS Mathematics, 2021 The Operator axioms have produced new real numbers with new operators. New operators naturally produce new equations and thus extend the traditional mathematical models which are selected to describe various scientific rules.
Pith Peishu Xie
doaj +1 more source
Repairing Ontologies via Axiom Weakening [PDF]
AAAI Conference on Artificial Intelligence, 2017 Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as ...
N. Troquard +5 more
semanticscholar +1 more source
A Dialogue Concerning the Essence and Role of Information in the World System
Information, 2020 The goal of this paper is to represent two approaches to the phenomenon of information, explicating its nature and essence. In this context, Mark Burgin demonstrates how the general theory of information (GTI) describes and elucidates the phenomenon of ...
Mark Burgin, Jaime F. Cárdenas-García
doaj +1 more source
Intricate Axioms as Interaction Axioms [PDF]
Studia Logica, 2015 With \(\mathbb{A}\) a nonempty subset of \(\{1,2\}\) and \(\mathbb{P}\) a nonempty set of propositional letters, let \(\mathcal{L_\mathbb{A}}\) be the set of propositional modal formulas built over \(\mathbb{P}\), with \([i]\), \(i\in\mathbb{A}\), as modal operators, and let \(L_\mathbb{A}\) be a normal modal logic over \(\mathcal{L_\mathbb{A}}\), that
openaire +1 more source