Results 71 to 80 of about 4,158,085 (300)
A complete natural deduction system for the relational calculus [PDF]
, 1975 A relational calculus is a formal system in which relation is the fundamental concept. The simplest relational calcu1us, that of ordinary binary relations, was introduced by Tarski in [4].
Wadge, William W.
core
Recursive Neural Networks Can Learn Logical Semantics [PDF]
, 2015 Tree-structured recursive neural networks (TreeRNNs) for sentence meaning have been successful for many applications, but it remains an open question whether the fixed-length representations that they learn can support tasks as demanding as logical ...
Bowman, Samuel R. +2 more
core +1 more source
Advanced Functional Materials, EarlyView.By a simple anti‐Galvanic reaction, up to six copper atoms could be preferably doped into the Ag2(SR)5 staple motifs and Ag20 dodecahedral shell of an atomically precise Ag44(SR)30 nanocluster. When anatase TiO2 is used as substrate, the (AgCu)44/TiO2 photocatalyst exhibited much improved activity in photocatalytic CO2 reduction compared to Ag44/TiO2 ...
Ye Liu +5 more
wiley +1 more source
A verified abstract machine for functional coroutines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Functional coroutines are a restricted form of control mechanism, where each coroutine is represented with both a continuation and an environment. This restriction was originally obtained by considering a constructive version of Parigot's classical ...
Tristan Crolard
doaj +1 more source
Transducer Materials Mediated Deep Brain Stimulation in Neurological Disorders
Advanced Functional Materials, EarlyView.This review discusses advanced transducer materials for improving deep brain stimulation (DBS) in neurological disorders. These materials respond to light, ultrasound, or magnetic fields, enabling precise, less invasive neuromodulation. Their stimulus‐responsive properties enhance neural control and adaptive therapy, paving the way for next‐generation ...
Di Zhao +5 more
wiley +1 more source
Light Logics and the Call-by-Value Lambda Calculus [PDF]
Logical Methods in Computer Science, 2008 The so-called light logics have been introduced as logical systems enjoying quite remarkable normalization properties. Designing a type assignment system for pure lambda calculus from these logics, however, is problematic.
Paolo Coppola +2 more
doaj +1 more source
Gentzen-Prawitz Natural Deduction as a Teaching Tool [PDF]
, 2022 Jean‐François Monin +2 more
openalex +1 more source
, 2013 This document contains corrections to errors discovered to-date in, and also some remarks upon, both Samin Ishtiaq's thesis, A Relevant Analysis of Natural Deduction [Ish99] and also the JLC [IP98] and CSL [IP99] papers, by Ishtiaq and Pym, that ...
Ishtiaq, S., Pym, David
core
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
Advanced Functional Materials, EarlyView.The chemical composition and band alignment are systematically investigated at the TiO2/InP heterointerface. Thin TiO2 films are deposited by ALD on atomically ordered, P‐terminated p‐InP(100). By combining UPS, XPS, and ab initio molecular dynamics, the atomistic structure and electronic alignment are revealed.
Mohammad Amin Zare Pour +11 more
wiley +1 more source