Results 31 to 40 of about 11,095,469 (278)
Contraction-free calculi for modal logics S5 and KD45
Lietuvos Matematikos Rinkinys, 2011 It is known that termination and backtracking are among the most important problems in constructing derivations in non-classical logics. In this paper contractionfree and backtracking-free sequent calculi for modal logics S5 and KD45 are presented and ...
Julius Andrikonis +1 more
doaj +1 more source
Da Costa on ontology: a naturalistic interpretation
Manuscrito, 2011 Da Costa's conception of being modifies that of Quine to incorporate relativization to non-classical logics. A naturalistic view of this conception is discussed. This view tries to extend to logic some ideas of Maddy's naturalism concerning mathematics.
Antonio Mariano Nogueira Coelho
doaj +1 more source
Molecular Oncology, EarlyView.This review summarizes the transcription factors, repressive chromatin‐modifying complexes, and epigenetic mechanisms that control fetal hemoglobin repression. Notably, many regulators of γ‐globin silencing also function in transcriptional and epigenetic networks that drive cancer, highlighting opportunities to translate advances in hemoglobinopathy ...
Meigen Yu +3 more
wiley +1 more source
Molecular Oncology, EarlyView.Arginine methylation can be viewed as a persistence‐prone post‐translational modification regulated by a network of PRMTs. Competitive and compensatory interactions among PRMTs can redistribute methylation across substrate pools shaped by sequence, structural, spatial, and environmental layers, reinforcing RNA‐processing, chromatin, and signaling ...
So Hyun Kwon, Ji Min Lee
wiley +1 more source
Natural Deduction System in Paraconsistent Setting: Proof Search for PCont
Journal of Intelligent Systems, 2012 This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov Alexander, Shangin Vasilyi
doaj +1 more source
Locality in Residuated-Lattice Structures [PDF]
Logical Methods in Computer ScienceMany-valued models generalise the structures from classical model theory by defining truth values for a model with an arbitrary algebra. Just as algebraic varieties provide semantics for many non-classical propositional logics, models defined over ...
James Carr
doaj +1 more source
Directed evolution of enzymes at the crossroads of tradition and innovation
FEBS Open Bio, EarlyView.An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova +2 more
wiley +1 more source
Canonicity and Bi-Approximation in Non-Classical Logics
, 2010 Non-classical logics, or variants of non-classical logics, have rapidly been developed together with the progress of computer science since the 20th century.
Tomoyuki Suzuki (511684)
core +7 more sources
Trans/Form/AçãoResumo: Martin Heidegger desenvolveu uma análise da metafísica e da tecnologia que questionava radicalmente seus pressupostos ontológicos. Contudo, para Peter Sloterdijk, autor de uma revisão do motivo da clareira (Lichtung) heideggeriana intitulada ...
Maurício Fernando Pitta +1 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective CDKL5 deficiency disorder (CDD) is a rare, severe developmental and epileptic encephalopathy. There is a pressing need to develop effective and sustainable therapeutic strategies. We aimed to investigate the causal association between febrile episodes and epileptic seizures for therapeutic implications in CDD patients.
Siyi Wang +13 more
wiley +1 more source