Results 121 to 130 of about 1,803,872 (361)
The classification of fallacious reasons in “nyāyapraveśaka-śāstra”
RUDN Journal of Philosophy, 2016 The article contains the translation from Sanskrit to Russian of the fragment (sutras 1, 2, 4, 9-13) of the short logic work “Nyāyapraveśaka-śāstram” (“Treatise bringing in the rules [of reasoning]”) and some comments.
N A Kanaeva
doaj
On Generalized Records and Spatial Conjunction in Role Logic
, 2004 We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases.
Kuncak, Viktor, Rinard, Martin
core +4 more sources
Deciding regular grammar logics with converse through first-order logic
, 2003 We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic.
de Nivelle, Hans, Demri, Stephane
core +4 more sources
Lattices of Logical Fragments over Words [PDF]
, 2012 This paper introduces an abstract notion of fragments of monadic second-order logic. This concept is based on purely syntactic closure properties. We show that over finite words, every logical fragment defines a lattice of languages with certain closure properties. Among these closure properties are residuals and inverse C-morphisms. Here, depending on
Alexander Lauser, Manfred Kufleitner
openaire +3 more sources
Advanced Science, EarlyView.At 2 5 °C, thermal activation initiates: i) CcIav/CcNan heterotetramer assembly → Ca2⁺ influx; ii) CcPKCα phosphorylation → AKH signaling potentiation; iii) CcAKH1 binding to membrane‐localized CcAKHR → energy mobilization (lipid catabolism/glycogenolysis) and vitellogenin transport via follicular patency; iv) Oocyte maturation → summer‐form nymph ...
Jianying Li +6 more
wiley +1 more source
A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids
Scientific Annals of Computer Science, 2021 In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions ...
Eleni Mandrali
doaj +1 more source
One-dimensional fragment of first-order logic [PDF]
, 2014 We introduce a novel decidable fragment of first-order logic. The fragment is one-dimensional in the sense that quantification is limited to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the ...
Hella, Lauri, Kuusisto, Antti
core
Sequent Calculus in the Topos of Trees
, 2015 Nakano's "later" modality, inspired by G\"{o}del-L\"{o}b provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this modality via the internal logic of the topos of trees. We show that
A. Bizjak +13 more
core +1 more source
Advanced Science, EarlyView.The TMEM43 ‐ P386S mutation causes arrhythmogenic right ventricular cardiomyopathy (ARVC) by mislocalizing itself from nuclear envelope (NE) to cytoplasm, disrupting lamin B2 (a novel TMEM43 interactor) localization, NE integrity and chromatin accessibility, causing hyper ‐ phosphorylation and reduced expression/clustering of ryanodine receptor type 2 (
Jiaxi Shen +23 more
wiley +1 more source
Advanced Science, EarlyView.The detection of secreted biomarkers enables molecular variations monitoring of organoid status. In this study, the non‐destructive quantification for the whole‐course growth and drug‐response of PDOs is first realized using a multifunctional microfluidic chip‐based system(ASMO) that integrates culturing, drug incubation, and biomarker detection ...
Yu Zhang +12 more
wiley +1 more source