Representation of Perfect and Local MV-algebras
, 2010 We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as quasi-constant functions ...
Gerla, Brunella +2 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
Relations between Propositional Normal Modal Logics: an Overview [PDF]
, 2017 The modal logic literature is notorious for multiple axiomatizations of the same logic and for conflicting overloading of axiom names. Many of the interesting interderivability results are still scattered over the often hard to obtain classics.
GORÉ, RAJEEV +2 more
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
NONCLASSICAL LOGICS IN RULE-BASED SYSTEM VERIFICATION PROBLEM
Информационные и математические технологии в науке и управлении, 2020 Работа посвящена обсуждению вопросов применимости неклассических логических исчислений к задаче верификации продукционных баз знаний. Рассмотрены возможности некоторых трёхзначных, четырёхзначных, а также нечётких логик. Показано, что хорошим подходом к верификации является использование логик с векторными семантиками в форме VTF-логик.
openaire +2 more sources
Machine Learning Guidance for Connection Tableaux. [PDF]
J Autom Reason, 2021 Färber M, Kaliszyk C, Urban J.
europepmc +1 more source
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
Advances in biomineralization-inspired materials for hard tissue repair. [PDF]
Int J Oral Sci, 2021 Tang S, Dong Z, Ke X, Luo J, Li J.
europepmc +1 more source
Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
, 2010 We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones.
Gabbay, Dov, Schlechta, Karl
core +2 more sources