Results 31 to 40 of about 5,872 (267)
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
Constraint-wish and satisfied-dissatisfied: an overview of two approaches for dealing with bipolar querying [PDF]
, 2013 In recent years, there has been an increasing interest in dealing with user preferences in flexible database querying, expressing both positive and negative information in a heterogeneous way.
De Tré, Guy +3 more
core +2 more sources
New Fuzzy Implication Model Consisting Only of Basic Logical Fuzzy Connectives
AxiomsFuzzy implication models play a crucial role in the field of fuzzy logic. The reason behind this reality is the fact that fuzzy implications are influenced by the properties of the model used for their creation.
Stefanos Makariadis +3 more
doaj +1 more source
Fuzzy soft set connected mappings
Ratio Mathematica, 2023 In this paper, the concepts of fuzzy soft connectedness between fuzzy soft sets and fuzzy soft set connected mappings in fuzzy soft topological spaces has been introduced. It is shown that a fuzzy soft topological space is fuzzy soft connected if and only if it is fuzzy soft connected between every pair of its nonempty fuzzy soft sets. Every fuzzy soft
Rajput, Alpa Singh +2 more
openaire +2 more sources
FEBS Open Bio, EarlyView.Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li +8 more
wiley +1 more source
Fuzzy Answer Set Computation via Satisfiability Modulo Theories
, 2015 Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information.
Alviano, Mario, Penaloza, Rafael
core +1 more source
Simplifying Inductive Schemes in Temporal Logic [PDF]
, 2019 In propositional temporal logic, the combination of the connectives "tomorrow" and "always in the future" require the use of induction tools. In this paper, we present a classification of inductive schemes for propositional linear temporal logic that ...
Cordero, Pablo, Fortes, Inmaculada
core +1 more source
Single‐molecule DNA flow‐stretch assays for high‐throughput DNA–protein interaction studies
FEBS Open Bio, EarlyView.We describe an optimised single‐molecule DNA flow‐stretch assay that visualises DNA–protein interactions in real time. Linear DNA fragments are tethered to a surface and stretched by buffer flow for fluorescence imaging. Using λ and φX174 DNA, this protocol enhances reproducibility and accessibility, providing a versatile approach for studying diverse ...
Ayush Kumar Ganguli +8 more
wiley +1 more source
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
, 2016 We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the respective eigenvectors.
D Aerts +10 more
core +4 more sources
Annales Mathematicae SilesianaeIn this paper we will try to answer what conditions must be met by the fuzzy Xor to be used for cryptographic purposes. We will also show that defining the fuzzy Xor using other fuzzy connectives is not suitable for this purpose.
Łukasik Radosław
doaj +1 more source