Results 201 to 210 of about 3,345 (227)

A Paraconsistent and Substructural Conditional Logic

2012
I introduce and motivate a conditional logic based on the substructural system HL from Paoli (Substructural logics: a primer, Kluwer, Dordrecht, 2002). Its hallmark is the presence of three logical levels (each one of which contains its own conditional connective), linked to one another by means of appropriate distribution principles.
openaire   +2 more sources

Substructural logics

Erkenntnis, 1996
openaire   +1 more source

Substructural Logics

2000
Dov M. Gabbay, Nicola Olivetti
openaire   +1 more source

Epistemic Models, Logical Monotony and Substructural Logics

2006
Since the seminal work of [Hin62], classical epistemic logic (CEL) and its applications are undermined by the so-called problem of logical omniscience (PLO). Indeed, this problem is only one instance of logical monotony, a strong idealization that is common to most of actual epistemic models. The purpose of this paper is, following [Dub91] and [Dub02],
openaire   +2 more sources

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly  

Gallium nitride-based complementary logic integrated circuits

Nature Electronics, 2021
Zheyang Zheng, Li Zhang, Han Xu
exaly  

Current-driven magnetic domain-wall logic

Nature, 2020
Zhaochu Luo, Aleš Hrabec, Trong Phuong Dao   +2 more
exaly  

Logic gates based on neuristors made from two-dimensional materials

Nature Electronics, 2021
Chunsen liu, Jianlu Wang, Weida Hu
exaly  

Reconfigurable logic and neuromorphic circuits based on electrically tunable two-dimensional homojunctions

Nature Electronics, 2020
Chen Pan, Chen-Yu Wang, Shi-Jun Liang
exaly  

Co-opting signalling molecules enables logic-gated control of CAR T cells

Nature, 2023
Aidan Tousley, Won-Ju Kim, Caleb A Lareau   +2 more
exaly