Results 61 to 70 of about 816,807 (142)
The Modal Logics of Kripke-Feferman Truth [PDF]
We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness ...
Nicolai, Carlo, Stern, Johannes
core
Failure of interpolation in the intuitionistic logic of constant domains
, 2012 This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures.
Mints, Grigori +2 more
core +1 more source
Optimizing the computation of overriding
, 2015 We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and ...
BC Grau +17 more
core +1 more source
On the undefinability of Tsirelson's space and its descendants
, 2019 We prove that Tsirelson's space cannot be defined explicitly from the classical Banach sequence spaces. We also prove that any Banach space that is explicitly definable from a class of spaces that contain $\ell_p$ or $c_0$ must contain $\ell_p$ or $c_0 ...
Casazza, Peter, Iovino, Jose
core
MRSA Isolates from Patients with Persistent Bacteremia Generate Nonstable Small Colony Variants In Vitro within Macrophages and Endothelial Cells during Prolonged Vancomycin Exposure. [PDF]
Infect Immun, 2023 Fauerharmel-Nunes T +8 more
europepmc +1 more source
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
The Doxastic Interpretation of Team Semantics [PDF]
, 2013 We advance a doxastic interpretation for many of the logical connectives considered in Dependence Logic and in its extensions, and we argue that Team Semantics is a natural framework for reasoning about beliefs and belief ...
Galliani, Pietro
core
On Williamson's new Quinean argument against nonclassical logic
The Australasian Journal of Logic, 2019 In "Semantic paradoxes and abductive methodology", Williamson presents a new Quinean argument based on central ingredients of common pragmatism about theory choice (including logical theory, as is common). What makes it new is that, in addition to avoiding Quine's unfortunate charge of mere terminological squabble, Williamson's argument explicitly ...
openaire +2 more sources
The logical structure of contextuality and nonclassicality
Quantum contextuality represents a fundamental form of nonclassicality in quantum mechanics. To provide a more complete characterization of nonclassical properties in quantum systems, we adopt a logical perspective and propose a mathematical framework based on exclusive partial Boolean algebras (epBAs).
Liu, Songyi +4 more
openaire +2 more sources
Molecular Oncology, Volume 19, Issue S1, Page 1-940, June 2025.Abstracts submitted to the ‘EACR 2025 Congress: Innovative Cancer Science’, from 16–19 June 2025 and accepted by the Congress Organising Committee are published in this Supplement of Molecular Oncology, an affiliated journal of the European Association for Cancer Research (EACR).
wiley +1 more source