𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equational treatment of first-order logic

✍ Scribed by J. Mycielski

Publisher
Springer
Year
1995
Tongue
English
Weight
578 KB
Volume
33
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Inclusive first-order logic
Inclusive first-order logic
✍ Roch Ouellet πŸ“‚ Article πŸ“… 1981 πŸ› Springer Netherlands 🌐 English βš– 981 KB
Some first-order probability logics
Some first-order probability logics
✍ Zoran Ognjanovic; Miodrag RaΕ‘kovic πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 172 KB

We present some ΓΏrst-order probability logics. The logics allow making statements such as PΒΏs , with the intended meaning "the probability of truthfulness of is greater than or equal to s". We describe the corresponding probability models. We give a sound and complete inΓΏnitary axiomatic system for

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.

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.