Results 51 to 60 of about 816,807 (142)

Algebraic proof theory for LE-logics

, 2018
In this paper we extend the research programme in algebraic proof theory from axiomatic extensions of the full Lambek calculus to logics algebraically captured by certain varieties of normal lattice expansions (normal LE-logics).
Greco, Giuseppe, Jipsen, Peter, Liang, Fei, Palmigiano, Alessandra, Tzimoulis, Apostolos   +4 more
core   +1 more source

Ability as dependence modality

Noûs, Volume 59, Issue 4, Page 1126-1152, December 2025.
Abstract Some modal expressions in language—for example, “can” and “able”—describe what is possible in light of someone's abilities. Ability modals are obviously related to other modalities in language, such as epistemic or deontic modality, but also give rise to anomalies that make them unique.
Paolo Santorio
wiley   +1 more source

Hyperlogic: A System for Talking about Logics [PDF]

, 2019
Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional.
Kocurek, Alexander W.
core  

Engineered RNA Devices for In Vivo Targeted Therapeutics via Advanced Delivery Systems

Aggregate, Volume 6, Issue 11, November 2025.
Schematic illustration of engineered RNA devices for in vivo targeted therapeutics via advanced delivery systems. ABSTRACT Engineered RNA devices can identify disease‐specific markers and precisely regulate gene expression, which is of great significance to the development of precision medicine.
Wei Luo, Xia Liu, Ying Han, Yijing Duan, Chuao Yu, Na Kong, Tian Xie   +6 more
wiley   +1 more source

Extending Kolmogorov's axioms for a generalized probability theory on collections of contexts

, 2020
Kolmogorov's axioms of probability theory are extended to conditional probabilities among distinct (and sometimes intertwining) contexts. Formally, this amounts to row stochastic matrices whose entries characterize the conditional probability to find ...
Svozil, Karl
core  

Finite automata models of quantized systems: conceptual status and outlook [PDF]

, 2002
Since Edward Moore, finite automata theory has been inspired by physics, in particular by quantum complementarity. We review automaton complementarity, reversible automata and the connections to generalized urn models.
Svozil, Karl
core   +4 more sources

Towards the Integration of an Intuitionistic First-Order Prover into Coq

, 2016
An efficient intuitionistic first-order prover integrated into Coq is useful to replay proofs found by external automated theorem provers. We propose a two-phase approach: An intuitionistic prover generates a certificate based on the matrix ...
Kunze, Fabian
core   +2 more sources

Spatiotemporal Dynamics of Central Nervous System Diseases: Advancing Translational Neuropathology via Single‐Cell and Spatial Multiomics

MedComm, Volume 6, Issue 9, September 2025.
Central nervous system (CNS) diseases are driven by spatiotemporally dynamic molecular networks. Single‐cell and spatial multiomics technologies dissect cellular heterogeneity, microenvironmental remodeling, and intercellular crosstalk. Integration of transcriptomic, epigenomic, proteomic, and metabolomic layers reveals disease‐associated regulatory ...
Mingkai Xia, Quan Liu, Wenli Zhang, Jinwen Ge, Zhigang Mei   +4 more
wiley   +1 more source

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, HEINLE, WOLFGANG, HEUERDING, ALAIN   +2 more
core  

Computational universes

, 2005
Suspicions that the world might be some sort of a machine or algorithm existing ``in the mind'' of some symbolic number cruncher have lingered from antiquity. Although popular at times, the most radical forms of this idea never reached mainstream. Modern
Alexandrov, Alexandrov, Alexandrov, Bell, Benacerraf, Bennett, Benz, Bernstein, Bernstein, Borchers, Boskovich, Boyer, Brady, Brauer, Bridgman, Brukner, Calude, Calude, Casti, Casti, Casti, Casti, Chaitin, Chaitin, Chaitin, Chaitin, Conway, Drobot, Dyson, Earman, Eccles, Einstein, Einstein, Elnaschie, Elnaschie, Finkelstein, Fortnow, Fredkin, Fredkin, Fussy, Glauber, Gray, Greenberger, Grünbaum, Gödel, Gödel, Gödel, Herbert, Herzog, Hogarth, Jennewein, Kanter, Karl Svozil, Kochen, Komar, Leff, Lester, Macdonald, Mermin, Meyer, Miller, Moore, Moore, Navara, Peres, Pitowsky, Pitowsky, Pitowsky, Planck, Popper, Putnam, Rado, Redhead, Rössler, Rössler, Rössler, Schaller, Shimony, Specker, Specker, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Svozil, Thomas, Thomson, Toffoli, Toffoli, Ulam, von Neumann, Weyl, Wigner, Wolfram, Wooters, Wright, Wright, Zeilinger, Zeilinger, Zuse, ‘t Hooft   +107 more
core   +5 more sources