Results 301 to 310 of about 283,349 (325)
Some of the next articles are maybe not open access.
Temporal Reference in Linear Tense Logic
Journal of Philosophical Logic, 2010The paper introduces a first-order theory in the language of predicate tense logic which contains a single simple axiom. It is shewn that this theory enables times to be referred to and sentences involving ‘now’ and ‘then’ to be formalised. The paper then compares this way of increasing the expressive capacity of predicate tense logic with other ...
openaire +2 more sources
On the saturation principle for a linear temporal logic
2005A new type of the deductive principle (named the saturation one) is introduced for a linear temporal logic with o(”next”) and W(”unless”). The saturation replaces induction-like postulates and intuitively corresponds to a certain type of regularity in the derivations for the logic. Non-logical axioms in ”saturated calculi” are some sequents, indicating
openaire +2 more sources
Logic-in-memory based on an atomically thin semiconductor
Nature, 2020Guilherme Migliato Marega +2 more
exaly
Gallium nitride-based complementary logic integrated circuits
Nature Electronics, 2021Zheyang Zheng, Li Zhang, Han Xu
exaly
Logic gates based on neuristors made from two-dimensional materials
Nature Electronics, 2021Chunsen liu, Jianlu Wang, Weida Hu
exaly
Co-opting signalling molecules enables logic-gated control of CAR T cells
Nature, 2023Aidan Tousley +2 more
exaly