Results 61 to 70 of about 481 (175)
Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
Networking strategies for coordinating interdependent policy issues: A motif approach
Abstract Complex societal challenges, such as climate change and environmental degradation, are encumbered by numerous interdependences across different policy issues. Coordination of interdependent policy issues is thus critical. However, coordination challenges persist, partly because coordinating interdependent policy issues among actors often ...
Johanna Hedlund +2 more
wiley +1 more source
Sequent Systems for Consequence Relations of Cyclic Linear Logics
Linear Logic is a versatile framework with diverse applications in computer science and mathematics. One intriguing fragment of Linear Logic is Multiplicative-Additive Linear Logic (MALL), which forms the exponential-free component of the larger ...
Paweł Płaczek
doaj +1 more source
Where Mathematical Symbols Come From
Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley +1 more source
ABSTRACT The epistemology of evidence‐based medicine (EBM) is said to clash with the culture of surgery: EBM demands contemplation, whereas surgeons prize decisive, and even heroic, action. How, then, have surgeons come to embrace EBM? To answer this question, I analysed evidence‐based clinical practice guidelines (CPGs) and interviewed 15 attending ...
Clay Davis
wiley +1 more source
Breeze of Continuity: New Evidence for the Occupation of Jumeirah Throughout the Islamic Period
ABSTRACT The Jumeirah Archaeological Research Project seeks to reassess the long‐term occupation of Jumeirah through an integrated study of three key archaeological sites—Jumeirah 1, 2 and 3. This study builds upon previous excavations and archival data to refine the chronology of the settlement and examine whether these sites functioned as a single ...
Karol Juchniewicz +4 more
wiley +1 more source
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018. [PDF]
Moss L, de Queiroz R.
europepmc +1 more source
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics [PDF]
A. R. Balasubramanian +2 more
openalex +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
Bonzio S +3 more
europepmc +1 more source
A lattice-theoretical approach to extensions of filters in algebras of substructural logic [PDF]
Dana Šalounová, Jiří Rachůnek
openalex +1 more source

