𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-order logic and star-free sets

✍ Scribed by Dominique Perrin; Jean-Eric Pin

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
700 KB
Volume
32
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Set theory and free logic
Set theory and free logic
✍ Ermanno Bencivenga πŸ“‚ Article πŸ“… 1976 πŸ› Springer Netherlands 🌐 English βš– 696 KB
Sperner spaces and first-order logic
Sperner spaces and first-order logic
✍ Andreas Blass; Victor Pambuccian πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 79 KB

## Abstract We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ℒ︁~∞__Ο‰__~‐axiomatizable.

Relating Z and First-Order Logic
Relating Z and First-Order Logic
✍ Andrew P. Martin πŸ“‚ Article πŸ“… 2000 πŸ› Springer 🌐 English βš– 228 KB
Fuzzy unification and first order probab
Fuzzy unification and first order probabilistic logic
✍ Marco Piastra πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 123 KB

The notion of unification for fuzzy sets in fuzzy logic programming is explored in this article from the standpoint of a theoretical framework based on first-order probabilistic modal logic. The fundamental difference between the latter perspective and other approaches described in the literature li

Characterizing Second Order Logic with F
Characterizing Second Order Logic with First Order Quantifiers
✍ David Harel πŸ“‚ Article πŸ“… 1979 πŸ› John Wiley and Sons 🌐 English βš– 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.