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

A note on three-valued logic and Tarski theorem on truth definitions

โœ Scribed by Andrea Cantini

Publisher
Springer Netherlands
Year
1980
Tongue
English
Weight
620 KB
Volume
39
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A note on the Kolmogorov data complexity
A note on the Kolmogorov data complexity and nonuniform logical definitions
โœ Jerzy Tyszkiewicz ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 773 KB

We define a new Kolmogorov complexity based measure of complexity of logics. Then we use this new tool to prove a sharp estimate of the length of first order sentences defining nonuniformly more complicated Lindstrijm quantifiers in terms of simpler ones. @ 1997 Published by Elsevier Science B.V.