Results 21 to 30 of about 1,465 (138)
Reactive preferential structures and nonmonotonic consequence [PDF]
, 2008 We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation ...
Gabbay, Dov, Schlechta, Karl
core +4 more sources
On the Concept of a Notational Variant [PDF]
, 2017 In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic.
C Caleiro +14 more
core +1 more source
The ubiquity of conservative translations
, 2012 We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva +8 more
core +1 more source
On Counterfactuals and Contextuality
, 2004 Counterfactual reasoning and contextuality is defined and critically evaluated with regard to its nonempirical content. To this end, a uniqueness property of states, explosion views and link observables are introduced. If only a single context associated
Svozil, Karl
core +4 more sources
Relation between nonclassical features through logical qudits
, 2023 Accepted in QIP 2023 (held in Ghent, Belgium) as a poster ...
Asthana, Sooryansh, Ravishankar, V.
openaire +2 more sources
Impossible Worlds Are Here to Stay
CríticaI address objections to impossible worlds (IWs) by Timothy Williamson and Kit Fine. Two species of IWs Mark Jago and I had in our Impossible Worlds book were FDE worlds (worlds used in the semantics of the nonclassical logic of First Degree Entailment ...
Francesco Berto
doaj +1 more source
Quantifiers for a Modal Future
Philosophical Perspectives, EarlyView.ABSTRACT Future auxiliaries present a challenge to the classical analysis of modal expressions as existential or universal quantifiers over a contextually provided set of possible worlds: these expressions come with a distinct modal flavor, but their interaction with negation and the fact that future judgments come in degrees of confidence is ...
Malte Willer
wiley +1 more source
Recovering Quantum Logic within an Extended Classical Framework
, 2011 We present a procedure which allows us to recover classical and nonclassical logical structures as \emph{concrete logics} associated with physical theories expressed by means of classical languages. This procedure consists in choosing, for a given theory
Garola, Claudio, Sozzo, Sandro
core +1 more source
The FASEB Journal, Volume 40, Issue 8, 30 April 2026.Graphical abstract illustrating the barrier defense–tolerance framework of reproductive innate immunity. Across the female and male reproductive tracts and the maternal–fetal interface, epithelial barriers, innate sensors, immune cells, and microbial signals are integrated to preserve reproductive homeostasis.
Xianlin Rao +3 more
wiley +1 more source
The Roles of Macrophage Lineage Cells (MLCs) in Brain Aging
CNS Neuroscience &Therapeutics, Volume 32, Issue 4, April 2026.This review highlights the critical role of macrophage lineage cells (MLCs), including microglia, border‐associated macrophages (BAMs), and CNS‐infiltrating monocyte‐derived macrophages (MDMs), in brain aging. It explores the drivers and propagation of MLCs senescence and discusses potential therapeutic strategies targeting MLCs senescence.
Qin Qin +12 more
wiley +1 more source