Results 31 to 40 of about 816,807 (142)
ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS
Proceedings of the YSU A: Physical and Mathematical Sciences, 2020 We investigate the relations between the proof lines of non-minimal tautologies and its minimal tautologies for the Frege systems, the sequent systems with cut rule and the systems of natural deductions of classical and nonclassical logics.
A. Chubaryan, A. Hambardzumyan
semanticscholar +1 more source
Bell-type inequalities for bivariate maps on orthomodular lattices [PDF]
, 2014 Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements (s-maps), are studied.
Nanasiova, Olga +2 more
core +2 more sources
Advanced Science, Volume 13, Issue 14, 9 March 2026.Cytokine‐engineered CAR‐T cells represent a promising immunotherapy against malignancies due to direct tumor killing and potent immunity response. However, significant toxicities, including CRS and ICANS, have restricted clinical applications. How to keep the risk‐benefit balance of the advanced therapy is of great importance for maximizing the benefit
Xinru Zhang +7 more
wiley +1 more source
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.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
Harnessing Phenonium Ions in Synthesis
Angewandte Chemie, Volume 137, Issue 43, October 20, 2025.Phenonium ions have frequently been viewed as intermediates of theoretical interest, but whose synthetic utility was limited. This minireview outlines how physical‐organic characterization has led to a better understanding of controlling their formation, which has resulted in modern strategies to form phenonium ions straightforwardly and use them in a ...
Robert J. Mayer, David Lebœuf
wiley +2 more sources
Iterated reflection principles over full disquotational truth [PDF]
, 2017 Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth.
Fischer, Martin +2 more
core +3 more sources
MedComm, Volume 7, Issue 2, February 2026.Neurons, immune cells, and other cellular components within the disease microenvironment (such as stromal cells and tumor cells) constitute a dynamically evolving ecosystem. Neurons directly modulate immune cell activity and inflammatory responses through the release of neurotransmitters (e.g., norepinephrine and CGRP), while also promoting tumor ...
Xin Guo +11 more
wiley +1 more source
MedComm, Volume 7, Issue 2, February 2026.Tumor‐associated macrophages are the most abundant immune cells in the tumor microenvironment, driving malignant progression and treatment resistance. This review summarizes the protumor mechanisms of TAMs (including phagocytosis modulation, metabolic reprogramming, exosomal communication, and immune interactions), evaluates three major strategies ...
Wurihan Bao +8 more
wiley +1 more source
Models in Decision‐Making Under Risk and Uncertainty
Journal of Economic Surveys, Volume 40, Issue 1, Page 304-320, February 2026.ABSTRACT This paper systematically compares dominant frameworks for modeling decision‐making under risk and uncertainty, evaluating their theoretical trade‐offs and practical relevance for economic research. We establish key criteria for model selection—including predictive accuracy, descriptive realism, computational tractability, and ecological ...
Martin Höppner
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