Results 81 to 90 of about 1,225 (183)
Truthmaker Semantics and Natural Language Semantics
Language and Linguistics Compass, Volume 19, Issue 1, January/February 2025.ABSTRACT Truthmaker semantics is a non‐classical logical framework that has recently garnered significant interest in philosophy, logic, and natural language semantics. It redefines the propositional connectives and gives rise to more fine‐grained entailment relations than classical logic.
Lucas Champollion
wiley +1 more source
The Poincaré‐extended ab$\mathbf {a}\mathbf {b}$‐index
Journal of the London Mathematical Society, Volume 111, Issue 1, January 2025.Abstract Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré‐extended ab$\mathbf {a}\mathbf {b}$‐index, which generalizes both the ab$\mathbf {a}\mathbf {b}$‐index and the Poincaré polynomial.
Galen Dorpalen‐Barry +2 more
wiley +1 more source
ℓp$\ell ^p$ metrics on cell complexes
Journal of the London Mathematical Society, Volume 111, Issue 1, January 2025.Abstract Motivated by the observation that groups can be effectively studied using metric spaces modelled on ℓ1$\ell ^1$, ℓ2$\ell ^2$ and ℓ∞$\ell ^\infty$ geometry, we consider cell complexes equipped with an ℓp$\ell ^p$ metric for arbitrary p$p$. Under weak conditions that can be checked locally, we establish non‐positive curvature properties of these
Thomas Haettel, Nima Hoda, Harry Petyt
wiley +1 more source
On equationally compact semilattices [PDF]
, 1972 Although equationally compact semilattices have been completely characterized [4], the question of J. Mycielski "Is every equationally compact semilattice the retract of a compact topological semilattice?" has heretofore remained unanswered.
Bulman-Fleming, Sydney
core
Exploring the Boundaries of Monad Tensorability on Set [PDF]
Logical Methods in Computer Science, 2013 We study a composition operation on monads, equivalently presented as large equational theories. Specifically, we discuss the existence of tensors, which are combinations of theories that impose mutual commutation of the operations from the component ...
Nathan Bowler +3 more
doaj +1 more source
Studying the Theory of Hoops Through Some Type of Filters
Journal of Applied Mathematics, Volume 2025, Issue 1, 2025.It is known that the class of hoops is ideally determined, in the sense that every filter of any hoop H is a 1‐class of a unique congruence relation on H. This confirms that every filter in a hoop determines one and only one quotient structure. So, given a hoop H and a filter π of H, it is natural to question ourselves what should be the defining ...
Gezahagne Mulat Addis +2 more
wiley +1 more source
Philosophical Perspectives, Volume 38, Issue 1, Page 222-236, December 2024.ABSTRACT We can use “reason,” with its normative sense, as both a count noun (“there is a reason for her to Φ”) and a mass noun (“there is plenty of reason for her to Φ”). How are the count and mass senses of “reason” related? Daniel Fogal argues that the mass sense is fundamental: Just as lights are merely those things that give light and anxieties ...
Eliot Watkins
wiley +1 more source
Punctual numberings for families of sets
Қарағанды университетінің хабаршысы. Математика сериясыThis work investigates the structure of punctual numberings for families of punctually enumerable sets with respect to primitive recursively reducibility.
A. Askarbekkyzy +6 more
doaj +1 more source
On semilattices of groups whose arrows are epimorphisms
International Journal of Mathematics and Mathematical Sciences, 2006 A q partial group is defined to be a partial group, that is, a strong semilattice of groups S=[E(S);Se,ϕe,f] such that S has an identity 1 and ϕ1,e is an epimorphism for all e∈E(S).
M. El-Ghali M. Abdallah +2 more
doaj +1 more source
Routes to relevance: Philosophies of relevant logics
Philosophy Compass, Volume 19, Issue 2, February 2024.Abstract Relevant logics are a family of non‐classical logics characterized by the behavior of their implication connectives. Unlike some other non‐classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five
Shawn Standefer
wiley +1 more source