Results 21 to 30 of about 87,998 (303)
Natural deduction calculus for computation tree logic [PDF]
, 2006 We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural deduction construction of the linear-time temporal logic.
Bolotov, A. +5 more
core +1 more source
Dependent and Independent Reasons
Informal Logic, 1991 How are dependent (or linked) premises to be distinguished from independent (or convergent) premises? Deductive validity, sometimes proposed as a necessary condition for depende'nce, cannot be, for the premises of both inductive and deductive but invalid
Robert J. Yanal
doaj +1 more source
Gödel’s Natural Deduction [PDF]
Studia Logica, 2017 22 ...
Kosta Dosen, Milos Adzic
openaire +5 more sources
ACROSS, 2022 This article presents the strengths, weaknesses, opportunities and threats of measures taken by the STS through the Taxpayers Service Strategy for the years 2021-2026, for the tax compliance / non-compliance of individuals / legal entities.
Corina BULGAC, Ana HÎNCU-CHILIANU
doaj
Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [PDF]
, 2004 The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evaluation of both functional and imperative languages.
Bruynooghe, Maurice +3 more
core +2 more sources
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source
Synergistic perspectives—How single‐molecule biophysics complement biochemical understanding
FEBS Letters, EarlyView.In this review, we discuss how ensemble biochemistry and single‐molecule approaches are complementary, outline commonly used single‐molecule techniques, and illustrate their relevance through two representative case studies: chromatin organization by SMC complexes and pathway choice during DNA double‐strand break repair.
Sara De Bragança +2 more
wiley +1 more source
THE DIFFERENT ROLES OF DEDUCTION IN COMMUNICATION [PDF]
Filozofia i NaukaThis article is concerned with a distinction between two epistemic roles that, according to Michael Dummett, deductively valid arguments could play in communication.
Tomáš Čana
doaj +1 more source
A context‐dependent modulatory role for eIF6 in acquired resistance to vemurafenib in melanoma
FEBS Letters, EarlyView.Acquired resistance to vemurafenib upregulates the translation factor eIF6 in melanoma cells. Silencing eIF6 in resistant cells reduces proliferation and partially restores drug sensitivity, whereas its overexpression increases sensitivity across melanoma lines regardless of BRAF status, via modulation of mTOR, S6K, and MAPK signaling.
George Kyriakopoulos +9 more
wiley +1 more source
Revista Facultad de Jurisprudencia, 2017 In this study, we will analyze how the dialectic provides methods that place the judge in a unique position within the power structure of the democratic system of the State.
Sorily Carolina Figuera Vargas +2 more
doaj +1 more source