Results 231 to 240 of about 795,596 (256)
Some of the next articles are maybe not open access.
Inquisitive split and structural completeness
Mathematical Structures in Computer ScienceIn this paper, the notion of structural completeness is explored in the context of a generalized class of superintuitionistic logics that also involve systems that are not closed under uniform substitution.
Thomas Ferguson, V. Punčochář
semanticscholar +1 more source
Inquisitive Team Semantics of LTL
arXiv.orgIn this paper, we introduce a novel team semantics of LTL inspired by inquisitive logic. The main features of the resulting logic, we call InqLTL, are the intuitionistic interpretation of implication and the Boolean semantics of disjunction. We show that
L. Bozzelli +3 more
semanticscholar +1 more source
First-Order Inquisitive Pair Logic
2011We introduce two different calculi for a first-order extension of inquisitive pair semantics (Groenendijk 2008): Hilbert-style calculus and Tree-sequent calculus. These are first-order generalizations of (Mascarenhas 2009) and (Sano 2009), respectively. First, we show the strong completeness of our Hilbert-style calculus via canonical models.
openaire +1 more source
Structural Completeness and Superintuitionistic Inquisitive Logics
2023Thomas Ferguson, Vít Punčochář
openaire +1 more source
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