Results 21 to 30 of about 816,807 (142)
Probability and nonclassical logic [PDF]
, 2016 Classical tautologies have probability. Classical contradictions have probability. These familiar features reflect a connection between standard probability theory and classical logic.
Williams, Robert
core +3 more sources
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
Structural completeness in propositional logics of dependence [PDF]
, 2015 In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core +2 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
Calpain Proteases and the Evolving Signaling Network in Insect Embryonic Patterning
Journal of Experimental Zoology Part B: Molecular and Developmental Evolution, EarlyView.Insect embryonic Dorsal‐Ventral (DV) patterning relies on the BMP and Toll pathways to different extents. Calcium‐dependent cystein proteases of the Calpain family also exert an important function to pattern the DV axis. In Drosophila, Calpain A cleaves the Cactus/IkappaB inhibitor and modifies Toll signals in ventral regions of the embryo. In Rhodnius
Alison Julio, Helena Araujo
wiley +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
Neurons and symbols: a manifesto [PDF]
, 2010 We discuss the purpose of neural-symbolic integration including its principles, mechanisms and applications. We outline a cognitive computational model for neural-symbolic integration, position the model in the broader context of multi-agent systems ...
Garcez, A.
core
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
Phase Separation of Nucleic Acids: Mechanisms, Properties, and Applications
Angewandte Chemie International Edition, Volume 65, Issue 11, 9 March 2026.Recent discoveries have shown that single‐stranded long‐chain nucleic acids can undergo temperature‐induced phase separation, enabling formation of micrometer‐sized condensates. This Minireview discusses the current mechanistic understanding of this phenomenon, highlights strategies for controlling the physical and chemical properties of these ...
Weixiang Chen +2 more
wiley +1 more source