𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A formal definition of the set of the logical connectors of pragmatics

✍ Scribed by Daniel R. Vanderveken

Publisher
John Wiley and Sons
Year
1976
Tongue
English
Weight
277 KB
Volume
22
Category
Article
ISSN
0044-3050

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

On the Structural Properties of the Set
On the Structural Properties of the Set of Fixpoints for Nondeterministic Recursive Definitions
✍ Tsong Yueh Chen πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 305 KB

In this paper, we investigate the structural properties of the set of fixpoints for the class of nondeterministic recursive definitions. Our study reveals close resemblance between the structural properties of the set of fixpoints and those of the set of prefixpoints, and it establishes some equalit