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

Non-monotonicity of entropy of interval maps

โœ Scribed by Henk Bruin

Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
295 KB
Volume
202
Category
Article
ISSN
0375-9601

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Entropy for maps of the interval
Entropy for maps of the interval
โœ Rufus Bowen ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 333 KB
Fixed Points of Monotone Maps
Fixed Points of Monotone Maps
โœ M.W. Hirsch ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 355 KB
Monotone simulations of non-monotone pro
Monotone simulations of non-monotone proofs
โœ Albert Atserias; Nicola Galesi; Pavel Pudlรกk ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 173 KB

We show that an LK proof of size m of a monotone sequent (a sequent that contains only formulas in the basis 4; 3) can be turned into a proof containing only monotone formulas of size m Oรฐlog mรž and with the number of proof lines polynomial in m: Also we show that some interesting special cases, nam