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

Three Complexity Problems in Quantified Fuzzy Logic

โœ Scribed by Franco Montagna

Book ID
110307897
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
165 KB
Volume
68
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The quantifier complexity of polynomial-
The quantifier complexity of polynomial-size iterated definitions in first-order logic
โœ Samuel R. Buss; Alan S. Johnson ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 208 KB

## Abstract We refine the constructions of Ferranteโ€Rackoff and Solovay on iterated definitions in firstโ€order logic and their expressibility with polynomial size formulas. These constructions introduce additional quantifiers; however, we show that these extra quantifiers range over only finite set