Results 41 to 50 of about 4,636,755 (203)
A Complete Uniform Substitution Calculus for Differential Dynamic Logic [PDF]
Journal of automated reasoning, 2016 This article introduces a relatively complete proof calculus for differential dynamic logic (dL) that is entirely based on uniform substitution, a proof rule that substitutes a formula for a predicate symbol everywhere.
André Platzer
semanticscholar +1 more source
Оптимизация структуры переменнозначных логических функций при добавлении новых продукционных правил
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2022 В настоящей работе предложено теоретическое обоснование и практическая реализация в виде алгоритма модификации переменнозначных логических функций при добавлении новых продукционных правил в уже сформированный (в рамках исходной предметной области ...
Димитриченко, Д.П.
doaj +1 more source
Al-Bidayah: Jurnal Pendidikan Dasar Islam, 2020 The use of audio-visual media is on learning outcomes of science on circulatory material at MI Muhammadiyah Kalikajar Wonosobo. This research is a quantitative study with audio-visual media variables and variable learning outcomes of science in the blood
Risqi Fani Angraeni +2 more
doaj +1 more source
The two‐variable fragment with counting and equivalence
Mathematical Logic Quarterly, 2015 We consider the two‐variable fragment of first‐order logic with counting, subject to the stipulation that a single distinguished binary predicate be interpreted as an equivalence.
Ian Pratt-Hartmann
semanticscholar +1 more source
Variables and Values in Children’s Early Word-Combinations
Psychology of Language and Communication, 2014 A model of syntactic development proposes that children’s very first word-combinations are already generated via productive rules that express in syntactic form the relation between a predicate word and its semantic argument. An alternative hypothesis is
Ninio Anat
doaj +1 more source
Oilseeds and fats, crops and lipids, 2020 Safflower (Carthamus tinctorius L.) is of potential interest to agriculture due to mainly variability of fatty acid composition of seeds oil. The purpose of this study was to evaluate various exotic genotypes of safflower for agronomic traits, components
Yassein Ahmed A.M. +3 more
doaj +1 more source
Chomskyan Arguments Against Truth-Conditional Semantics Based on Variability and Co-predication [PDF]
Erkenntnis, 2019 In this paper I try to show that semantics can explain word-to-world relations and that sentences can have meanings that determine truth-conditions. Critics like Chomsky typically maintain that only speakers denote, i.e., only speakers, by using words in one way or another, represent entities or events in the world.
Agustín Vicente, Agustín Vicente
openaire +2 more sources
Danish Vestigial Case and the Acquisition of Vocabulary in Distributed Morphology
Biolinguistics, 2009 As Halle & Marantz (2008: 71) acknowledge, “we have no real idea about how a child assigns features to Vocabulary Items” in Distributed Morphology (DM).
Jeffrey K. Parrott
doaj +1 more source
Revista de Lingüística y Lenguas Aplicadas, 2014 This study discusses how seven of Levin’s (1993) entity-specific change-of-state verbs (i.e. bloom, blossom, flower, germinate, sprout, swell, and blister) are subsumed into the intransitive resultative construction by highlighting and making use of the ...
Andreea Rosca
doaj +1 more source
Remote Sensing, 2018 The mean shift algorithm has been shown to perform well in optical image segmentation. However, the conventional mean shift algorithm performs poorly if it is directly used with Synthetic Aperture Radar (SAR) images due to the large dynamic range and ...
Fengkai Lang +3 more
doaj +1 more source