Results 31 to 40 of about 334 (129)
Metainferential Paraconsistency [PDF]
, 2022 In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics.
Da Re, Bruno +2 more
core +3 more sources
Integrating model simulation tools and cryo‐electron microscopy
WIREs Computational Molecular Science, Volume 13, Issue 3, May/June 2023., 2023 Combining cryo‐EM data and molecular simulation to understand protein structure and dynamics. Abstract The power of computer simulations, including machine‐learning, has become an inseparable part of scientific analysis of biological data. This has significantly impacted the field of cryogenic electron microscopy (cryo‐EM), which has grown dramatically
Joseph George Beton +5 more
wiley +1 more source
Inconsistency, paraconsistency and ω-inconsistency [PDF]
, 2018 In this paper I'll explore the relation between ω-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I'll focus on two very well known inconsistent but non-trivial theories of truth:
Da Re, Bruno
core +2 more sources
Protein dynamics developments for the large scale and cryoEM: case study of ProDy 2.0
Acta Crystallographica Section D, Volume 78, Issue 4, Page 399-409, April 2022., 2022 New computational biophysics pipelines for analysing the global dynamics of structural ensembles and large, dynamic complexes resolved by cryoEM are reviewed.Cryo‐electron microscopy (cryoEM) has become a well established technique with the potential to produce structures of large and dynamic supramolecular complexes that are not amenable to ...
James Michael Krieger +3 more
wiley +1 more source
A fully classical truth theory characterized by substructural means [PDF]
, 2019 We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences.
Pailos, Federico Matias
core +1 more source
Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi [PDF]
, 2021 In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system.
Pailos, Federico, Roffé, Ariel Jonathan
core +4 more sources
Derivability and Metainferential Validity [PDF]
, 2021 The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we
Da Ré, Bruno +2 more
core +1 more source
Utilizing Mixed Methods Community-Based Participatory Research to Improve Environmental Health and Quality of Life Outcomes in Rural Rwanda [PDF]
, 2022 Background: Health risks associated with burning biomass and stress on forests caused by firewood demand have necessitated improved cookstove programs.
Horton, Leah
core +2 more sources
Expressing Validity: Towards a Self-Sufficient Inferentialism [PDF]
, 2020 For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into ...
Hlobil, Ulf
core
A recovery operator for nontransitive approaches [PDF]
, 2020 In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro +2 more
core