Results 21 to 30 of about 1,036,043 (288)
Bodily Complexity: Integrated Multicellular Organizations for Contraction-Based Motility
Frontiers in Physiology, 2019 Compared to other forms of multicellularity, the animal case is unique. Animals—barring some exceptions—consist of collections of cells that are connected and integrated to such an extent that these collectives act as unitary, large free-moving entities ...
Argyris Arnellos +2 more
doaj +1 more source
Engineering the Stability of Nanozyme-Catalyzed Product for Colorimetric Logic Gate Operations
Molecules, 2021 Recently, the design and development of nanozyme-based logic gates have received much attention. In this work, by engineering the stability of the nanozyme-catalyzed product, we demonstrated that the chromogenic system of 3, 3′, 5, 5 ...
Lianlian Fu +4 more
doaj +1 more source
Productive corecursion in logic programming [PDF]
Theory and Practice of Logic Programming, 2017 AbstractLogic Programming is a Turing complete language. As a consequence, designing algorithms that decide termination and non-termination of programs or decide inductive/coinductive soundness of formulae is a challenging task. For example, the existing state-of-the-art algorithms can only semi-decide coinductive soundness of queries in logic ...
EKATERINA KOMENDANTSKAYA, YUE LI
openaire +2 more sources
Products of weighted logic programs [PDF]
Theory and Practice of Logic Programming, 2011 AbstractWeighted logic programming, a generalization of bottom-up logic programming, is a well-suited framework for specifying dynamic programming algorithms. In this setting, proofs correspond to the algorithm's output space, such as a path through a graph or a grammatical derivation, and are given a real-valued score (often interpreted as a ...
Cohen, S. B. +2 more
openaire +4 more sources
Theory and Applications of Categories, 2001 Summary: In this paper we describe a deductive system for categories with finite products and coproducts, prove decidability of equality of morphisms via cut elimination, and prove a ``Whitman theorem'' for the free such categories over arbitrary base categories.
Cockett, J. R. B., Seely, R. A. G.
openaire +2 more sources
Bulletin of the Section of Logic, 2020 In this paper, we introduce and study a corresponding logic to equality-algebras and obtain some basic properties of this logic. We prove the soundness and completeness of this logic based on equality-algebras and local deduction theorem.
Shokoofeh Ghorbani
doaj +1 more source
Time-Constrained Temporal Logic Control of Multi-Affine Systems [PDF]
, 2012 In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time.
Belta, Calin, Gol, Ebru Aydin
core +3 more sources
On Product Logic with Truth-constants [PDF]
Journal of Logic and Computation, 2006 Product Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants ...
Savicky P. +4 more
openaire +5 more sources
Products of ‘transitive” modal logics
Journal of Symbolic Logic, 2005 AbstractWe solve a major open problem concerning algorithmic properties of products of ‘transitive’ modal logics by showing that products and commutators of such standard logics asK4,S4,S4.1,K4.3,GL, orGrzare undecidable and do not have the finite model property. More generally, we prove that no Kripke complete extension of the commutator [K4, K4] with
Gabelaia, David +3 more
openaire +4 more sources
Logical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras [PDF]
Entropy, 2018 In the paper we propose, using the logical entropy function, a new kind of entropy in product MV-algebras, namely the logical entropy and its conditional version. Fundamental characteristics of these quantities have been shown and subsequently, the results regarding the logical entropy have been used to define the logical mutual information of ...
Dagmar Markechová +2 more
openaire +3 more sources