๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Neural systems involved in propositional and non-propositional speech

โœ Scribed by S.Catrin Blank; Sophie Scott; Richard Wise

Book ID
119585454
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
77 KB
Volume
13
Category
Article
ISSN
1053-8119

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Simulating non-prenex cuts in quantified
Simulating non-prenex cuts in quantified propositional calculus
โœ Emil Jeล™รกbek; Phuong Nguyen ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 105 KB

## MSC (2010) 03F20 We show that the quantified propositional proof systems Gi are polynomially equivalent to their restricted versions that require all cut formulas to be prenex ฮฃ q i or prenex ฮ  q i . Previously this was known only for the treelike systems G \* i .