Results 51 to 60 of about 375,050 (296)

Partial and paraconsistent three-valued logics [PDF]

Logic and Logical Philosophy, 2016
On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This article aims, firstly, to provide both a model-theoretic and a proof-theoretic unified framework for these logics and, secondly, to apply
openaire   +2 more sources

Intein‐based modular chimeric antigen receptor platform for specific CD19/CD20 co‐targeting

Molecular Oncology, EarlyView.
CARtein is a modular CAR platform that uses split inteins to splice antigen‐recognition modules onto a universal signaling backbone, enabling precise, scarless assembly without re‐engineering signaling domains. Deployed here against CD19 and CD20 in B‐cell malignancies, the design supports flexible multi‐antigen targeting to boost T‐cell activation and
Pablo Gonzalez‐Garcia, Noelia Moares, Wenjie Yi‐He, Rosa Luna‐Espejo, Ricardo Fernandez‐Cisnal, Javier Ocaña‐Cuesta, Juan P. Muñoz‐Miranda, Antonio Gabucio, Cecilia M. Fernandez‐Ponce, Francisco Garcia‐Cozar   +9 more
wiley   +1 more source

Proposal for the Formalization of Dialectical Logic

Mathematics, 2016
Classical logic is typically concerned with abstract analysis. The problem for a synthetic logic is to transcend and unify available data to reconstruct the object as a totality. Three rules are proposed to pass from classic logic to synthetic logic.
José Luis Usó-Doménech, Josué Antonio Nescolarde-Selva, Lorena Segura-Abad   +2 more
doaj   +1 more source

Fredkin Gates for Finite-valued Reversible and Conservative Logics

, 2002
The basic principles and results of Conservative Logic introduced by Fredkin and Toffoli on the basis of a seminal paper of Landauer are extended to d-valued logics, with a special attention to three-valued logics. Different approaches to d-valued logics
, , , A Leporati, Bennett C H, Bennett C H, Bennett C H, Cattaneo G, Cattaneo G, Chang C C, Chang C C, Chellas B F, Feynman R P, Fredkin E, G Cattaneo, Kinoshita K, Landauer R, Leff H S, Lukasiewicz J, Lukasiewicz J, Lukasiewicz J, McNaughton R, Petri C A, R Leporini, Rescher N, Rosser J B, Toffoli T, von Neumann J, Zawirski Z   +28 more
core   +2 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, Anthony Siming Chen, Guido Herrmann   +2 more
wiley   +1 more source

Synchrotron Radiation for Quantum Technology

Advanced Functional Materials, EarlyView.
Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader, Sakura Pascarelli, Klaus Attenkofer, Anna A. Makarova, Karsten Holldack, Kai Rossnagel, Kristiaan Temst, George Kourousias, Stefano Carretta, Caterina Biscari, Helmut Dosch   +10 more
wiley   +1 more source

3VSR: Three Valued Secure Routing for Vehicular Ad Hoc Networks using Sensing Logic in Adversarial Environment

Sensors, 2018
Today IoT integrate thousands of inter networks and sensing devices e.g., vehicular networks, which are considered to be challenging due to its high speed and network dynamics.
Muhammad Sohail, Liangmin Wang
doaj   +1 more source

On the enumeration of maximal infinitely-generated classes of 01-functions in three-valued logic

Известия высших учебных заведений. Поволжский регион: Физико-математические науки, 2021
Background. The superposition operation is the main operation in the study of multivalued logic functions. On the basis of this operation, classifications of multivalued logic functions are defined, which allow to solve important problems of ...
S.S. Marchenkov
doaj   +1 more source

Toward Quaternary QCA: Novel Majority and XOR Fuzzy Gates

IEEE Access, 2022
As an emerging nanotechnology, quantum-dot cellular automata (QCA) has been considered an alternative to CMOS technology that suffers from problems such as leakage current.
Reza Akbari-Hasanjani, Reza Sabbaghi-Nadooshan, Majid Haghparast   +2 more
doaj   +1 more source

Sequent calculi for three-valued logics

Tsukuba Journal of Mathematics, 1998
This paper presents complete sequent calculi for different 3-valued propositional logics, in a uniform way. Each calculus is built around the structural rules: thinning, contraction, interchange and cut, using so-called beginning sequents and logical rules of inference which are specific for that logic.
openaire   +3 more sources