Results 1 to 10 of about 73,110 (165)
Maximal Theories of Product Logic
Lecture Notes in Computer Science, 2023 Product logic is one of the main fuzzy logics arising from a continuous t-norm, and its equivalent algebraic semantics is the variety of product algebras. In this contribution, we study maximal filters of product algebras, and their relation with product hoops. The latter constitute the variety of 0-free subreducts of product algebras.
Sara Ugolini, Ugolini Sara
exaly +3 more sources
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 +3 more sources
Visual Perception and the Emergence of Minimal Representation
Frontiers in Psychology, 2021 There is a long-lasting quest of demarcating a minimally representational behavior. Based on neurophysiologically-informed behavioral studies, we argue in detail that one of the simplest cases of organismic behavior based on low-resolution spatial vision–
Argyris Arnellos +2 more
doaj +1 more source
Temporal Logic Planning and Receding Horizon Control for Signal Source Localization
Applied Sciences, 2022 This article copes with signal source localization by employing a receding horizon control approach with temporal logic planning in the light of a single mobile robot.
Xingtong Chen +3 more
doaj +1 more source
Cogent Business & Management, 2023 The existing literature has focused on the exclusive relationship between institutional logics that are perceived as competing. The current study argues that multiple logics can co-exist in a blended relationship.
Van Dai Nguyen +2 more
doaj +1 more source
Study on Imagery Modeling of Electric Recliner Chair: Based on Combined GRA and Kansei Engineering
Applied Sciences, 2023 This study aims to integrate data-driven methodologies with user perception to establish a robust design paradigm. The study consists of five steps: (1) theoretical research—a review of the subject background and applications of Kansei engineering and ...
Chengmin Zhou, Lansong Jiang, Jake Kaner
doaj +1 more source
Dual Logic Area Optimization of Finite State Machine [PDF]
Jisuanji gongcheng, 2016 To cope with the problem that exists in the area optimization of Finite State Machine(FSM) by only using Traditional Boolean (TB) logic,a novel algorithm for FSM area optimization using both traditional Boolean logic and Reed-Muller (RM) logic,namely ...
LIN Weijian,WANG Lunyao,XIA Yinshui
doaj +1 more source
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 ...
Petr Savický +4 more
openaire +5 more sources
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
Model Checking Synchronized Products of Infinite Transition Systems [PDF]
Logical Methods in Computer Science, 2007 Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic has to be expressive enough to allow the formalization of reachability ...
Stefan Wöhrle, Wolfgang Thomas
doaj +1 more source