Results 81 to 90 of about 481 (199)
The Additive Logic of Epistemic Reasons: An Axiomatic Account
Theoria, EarlyView.ABSTRACT The article argues for a system of axioms that is meant to capture the logic of normative reasons for belief. The system concerns a primitive direct‐reason relation, a defined doxastic‐reason relation, and a primitive function for the revision of rational belief by reasons.
Hannes Leitgeb
wiley +1 more source
Zappa–Szép Skew Braces: A Unified Framework for Mutual Interactions in Noncommutative Algebra
MathematicsThis paper introduces and systematically develops the theory of Zappa–Szép skew braces, a novel algebraic structure that provides a unified framework for bidirectional group interactions, thereby generalizing the classical constructions of semidirect ...
Suha Wazzan, David A. Oluyori
doaj +1 more source
On the logic of theory change: iteration of expansion
Journal of the Brazilian Computer Society, 2018 Constructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is
Eduardo Fermé, Renata Wassermann
doaj +1 more source
The Mutable Original: How Chinese Counterfeits Become Nigerian Originals in African Markets
American Anthropologist, Volume 128, Issue 3, Page 581-594, September 2026.ABSTRACT Affordable Chinese copies of Western brands are ubiquitous in African markets. Despite democratizing consumer access, these goods appear to cement hegemonic value hierarchies that rank Chinese or local products as inferior to Western goods.
Jing Jing Liu
wiley +1 more source
Invariant Elimination of Definite Iterations over Arrays in C Programs Verification
Моделирование и анализ информационных систем, 2017 This work represents the further development of the method for definite iteration verification [7]. It extends the mixed axiomatic semantics method [1] suggested for C-light program verification. This extension includes a verification method for definite
Ilya V. Maryasov +2 more
doaj +1 more source
The Social Constitution of Mathematical Knowledge. Objectivity, Semantics, and Axiomatics
, 2023 The philosophy of mathematical practice sometimes investigates the social constitution of mathematics but does not always make explicit the philosophical-normative framework that guides the discussion. This chapter investigates some recent proposals in the philosophy of mathematical practice that compare social facts and mathematical objects ...
openaire +2 more sources
Noûs, Volume 60, Issue 3, Page 511-535, September 2026.Abstract The present paper presents a new (formal) theory of presence according to which, roughly, to be present at a place is to have a delegate located at that place. One crucial feature of the theory is that something can be present at a place without thereby being located there.
Claudio Calosi
wiley +1 more source
Fractal and FractionalThis paper develops novel similarity and dissimilarity measures for (p,q,r)-fractional fuzzy sets to enhance information discrimination and decision-making under complex uncertainty. We first introduce axiomatic dissimilarity measures and establish their
Muhammad Jabir Khan +3 more
doaj +1 more source
Noûs, Volume 60, Issue 3, Page 593-605, September 2026.ABSTRACT It is a truism of mathematics that differences between isomorphic number systems are irrelevant to arithmetic. This truism is deeply rooted in the modern axiomatic method and underlies most strands of arithmetical structuralism, the view that arithmetic is about some abstract number structure.
Balthasar Grabmayr
wiley +1 more source
PTE: Axiomatic Semantics based Compiler Testing
CoRRThe correctness of a compiler affects the correctness of every program written in the language, and thus must be thoroughly evaluated. Existing automatic compiler testing methods however either rely on weak oracles (e.g., a program behaves the same if only dead code is modified), or require substantial initial effort (e.g., having a complete ...
Guoliang Dong +4 more
openaire +2 more sources