Results 31 to 40 of about 3,431 (233)
Logical and Algebraic Characterizations of Rational Transductions [PDF]
Logical Methods in Computer Science, 2019 Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic.
Emmanuel Filiot +2 more
doaj +1 more source
Fixpointed Idempotent Uninorm (Based) Logics
Mathematics, 2019 Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not.
Eunsuk Yang
doaj +1 more source
LOGICS AND ALGEBRAS FOR MULTIPLE PLAYERS [PDF]
The Review of Symbolic Logic, 2010 We study a generalization of the standard syntax and game-theoretic semantics of logic, which is based on a duality between two players, to a multiplayer setting. We define propositional and modal languages of multiplayer formulas, and provide them with a semantics involving a multiplayer game.
Olde Loohuis, L., Venema, Y.
openaire +3 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
A characterization of adjunction in a many-valued modal system
CQD Revista Eletrônica Paulista de MatemáticaGalois connections are pairs of functions, defined over ordered sets, that preserve some particular aspects. They are studied in the context of algebraic structures.
Hércules de Araújo Feitosa +1 more
doaj +1 more source
Bulletin of the Section of Logic, 2021 Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra (generalized exchange algebra), is introduced ...
Ravikumar Bandaru +2 more
doaj +1 more source
Advanced Science, EarlyView.The inhibitory immune checkpoints HLA‐G and CD47 are expressed on certain tumor types and inhibit immune cells in the tumor microenvironment. DSP216 binds specifically to cancer cells expressing both HLA‐G and CD47, and blocks their inhibitory signaling.
Lisa J. Jacob +12 more
wiley +1 more source
Towards an algebrization of a linear temporal logic
CQD Revista Eletrônica Paulista de MatemáticaThe subject of this paper is the Propositional Neighbourhood Logic (PNL), a case of linear temporal logic and an extension of Classical Propositional Logic that results from the inclusion of modal operators that deal with certain temporal aspects.
Romulo Albano de Freitas +2 more
doaj +1 more source
Algebraizations of Propositional Logic and Monadic Logic
Indian Journal of Advanced Mathematics, 2022 In this paper, we introduce the language systems of propositional logic (LSPL), which involves no variables, and monadic predicate logic (LSMPL), which consists of predicates applied to single variables. We review the validity and dedication related to (LSPL) and (LSMPL) with their properties.
openaire +2 more sources
Synchronization of Analog Neuron Circuits With Digital Memristive Synapses: An Hybrid Approach
Advanced Electronic Materials, EarlyView.An hybrid circuit mimicking neural units coupled using memristive synapses is introduced. The analog neurons provide flexibility and robustness, and the digital memristive coupling guarantees the full reconfigurability of the interconnection. The onset of a synchronized spiking behavior in two circuits mimicking the Izhikevich neuron is discussed from ...
Lamberto Carnazza +3 more
wiley +1 more source