Results 271 to 280 of about 38,385 (299)

Hypersequents, logical consequence and intermediate logics for concurrency

Annals of Mathematics and Artificial Intelligence, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Intermediate predicate logic without the beth property

Algebra and Logic, 1998
Previously, the author has proven [Algebra Logika 35, No. 1, 105-117 (1996; Zbl 0897.03022)] that the interpolation property is missing in all predicate superintuitionistic logics which contain the logic \(J^*_{fd}\) (characterized by all Kripke frames whose domains of all nonmaximal worlds are finite) and are contained in a logic specified by all two ...
openaire   +2 more sources

Intermediate Logics

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

On Normalizing Disjunctive Intermediate Logics

2016
In this paper it is shown that every intermediate logic obtained from intuitionistic logic by adding a disjunction can be normalized. However, the normalization procedure is not as complete as that for intuitionistic and minimal logic because some results which usually follow from normalization fail, including the separation property and the subformula
openaire   +1 more source

Intermediate Logic

Teaching Philosophy, 1999
openaire   +1 more source

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