Results 41 to 50 of about 339,779 (297)
, 2009 The present contribution might be regarded as a kind of defense of the common sense in logic. It is demonstrated that if the classical negation is interpreted as the minimal negation with n = 2 truth values, then deviant logics can be conceived as ...
Schang, Fabien
core +1 more source
Integration of circadian and hypoxia signaling via non‐canonical heterodimerization
FEBS Letters, EarlyView.CLOCK, BMAL1, and HIFs are basic helix‐loop‐helix and Per‐Arnt‐Sim domain (bHLH‐PAS) proteins, which function as transcription factors. bHLH‐PAS proteins are designated in two classes. Many class I proteins are regulated by environmental signals via their PAS domains, but such signals have not been identified for all.
Sicong Wang, Katja A. Lamia
wiley +1 more source
FEBS Letters, EarlyView.We reconstituted Synechocystis glycogen synthesis in vitro from purified enzymes and showed that two GlgA isoenzymes produce glycogen with different architectures: GlgA1 yields denser, highly branched glycogen, whereas GlgA2 synthesizes longer, less‐branched chains.
Kenric Lee +3 more
wiley +1 more source
Trans/Form/AçãoResumo: Martin Heidegger desenvolveu uma análise da metafísica e da tecnologia que questionava radicalmente seus pressupostos ontológicos. Contudo, para Peter Sloterdijk, autor de uma revisão do motivo da clareira (Lichtung) heideggeriana intitulada ...
Maurício Fernando Pitta +1 more
doaj +1 more source
Recovery operators, paraconsistency and duality [PDF]
, 2020 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language ...
Carnielli, Walter A. +2 more
core
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source
Logical space and the origins of pluralism in logic
Acta Universitatis Carolinae: Philosophica et Historica, 2017 The fact that there is a plurality of systems that we call logics makes it requisite to attempt an explanation and thorough evaluation of the role of logic.
Pavel Arazim
doaj +1 more source
Filters in Strong BI-Algebras and Residuated Pseudo-SBI-Algebras
Mathematics, 2020 The concept of basic implication algebra (BI-algebra) has been proposed to describe general non-classical implicative logics (such as associative or non-associative fuzzy logic, commutative or non-commutative fuzzy logic, quantum logic).
Xiaohong Zhang, Xiangyu Ma, Xuejiao Wang
doaj +1 more source
, 2017 The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of ...
Schang, Fabien
core