1 citations · 1 across the 5 of their papers we have counts for
5 papers
Eigenvariables, bracketing and the decidability of positive minimal predicate logic
Gilles Dowek, Ying Jiang
We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of seq…
Enumerating proofs of positive formulae
Gilles Dowek, Ying Jiang
We provide a semi-grammatical description of the set of normal proofs of positive formulae in minimal predicate logic, i.e. a grammar that generates a set of schemes, from each of…
On the Expressive Power of Schemes
Gilles Dowek, Ying Jiang
We present a calculus, called the scheme-calculus, that permits to express natural deduction proofs in various theories. Unlike -calculus, the syntax of this calculus sticks clo…
Multifunctional fiber-based optoacoustic emitter for non-genetic bidirectional neural communication
Nan Zheng, Ying Jiang, Shan Jiang +5
A bidirectional brain interface with both "write" and "read" functions can be an important tool for fundamental studies and potential clinical treatments for neurological diseases.…
New source for tuning the effective Rabi frequency discovered in multiphoton ionization
Wankai Li, Yue Lei, Xing Li +10
The Autler-Townes effect due to near resonance transition between 4s-4p states in potassium atoms is mapped out in the photo-electron-momentum distribution and manifests itself as…