𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Quantified propositional calculus and a second-order theory for NC1

✍ Scribed by Stephen Cook; Tsuyoshi Morioka

Publisher
Springer
Year
2005
Tongue
English
Weight
374 KB
Volume
44
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A secondary semantics for Second Order I
A secondary semantics for Second Order Intuitionistic Propositional Logic
✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 159 KB

## Abstract In this paper we propose a Kripke‐style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a s

Multireference configuration interaction
Multireference configuration interaction and second-order perturbation theory calculations for the 1 3Aβ€³, 1 1Aβ€³, and 1 1Aβ€² electronic states of vinylnitrene and vinylphosphinidene
✍ Vudhichai Parasuk; Christopher J. Cramer πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 626 KB

MRCI and CASP'I2 calculations from a (4, 4) MCSCF active space predict both vinylnitrene and vinylphosphinidene to have 3~, ground states. For vinylnitrene, the lowest open-shell singlet (1K') and closed-shell singlet 0A') states lie 15 and 40 kcal/mol higher in energy, respectively. The correspondi