𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reciprocity theorem for nonlocal optics: completion of proof and application to spectroscopic analysis

✍ Scribed by Xie, H Y; Leung, P T; Tsai, D P

Book ID
121264641
Publisher
Institute of Physics
Year
2010
Tongue
English
Weight
207 KB
Volume
12
Category
Article
ISSN
2040-8978

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Simple proof of the completeness theorem
Simple proof of the completeness theorem for second-order classical and intuitionistic logic by reduction to first-order mono-sorted logic
✍ Karim Nour; Christophe Raffalli πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 241 KB

We present a simpler way than usual to deduce the completeness theorem for the second-order classical logic from the ΓΏrst-order one. We also extend our method to the case of second-order intuitionistic logic.