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

Elementary embeddings and games in adapted probability logic

โœ Scribed by Sergio Fajardo

Publisher
Springer
Year
1990
Tongue
English
Weight
624 KB
Volume
30
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Embeddings between the elementary ontolo
Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
โœ Mitio Takano ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 304 KB

Let .EOA be the elementary ontology augmented by an additional axiom 3S (S 9 S), and let ~8 be the monadic second-order predicate logic. We show that the mapping ~ which was introduced by V. A. Smirnov is an embedding of EOA into LS. We also give an embedding of ZS into EOA. In Smirnov [3], he defi

Non-elementary speed-ups in logic calcul
Non-elementary speed-ups in logic calculi
โœ Toshiyasu Arai ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 144 KB

## Abstract In this paper we show some nonโ€elementary speedโ€ups in logic calculi: Both a predicative secondโ€order logic and a logic for fixed points of positive formulas are shown to have nonโ€elementary speedโ€ups over firstโ€order logic. Also it is shown that eliminating secondโ€order cut formulas in

Probability of reciprocation in repeated
Probability of reciprocation in repeated prisoner's dilemma games
โœ Forest Baker; Howard Rachlin ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 195 KB

Both social cooperation and self!control require reciprocation[ In social coop! eration situations a single person|s cooperative act\ if not reciprocated by others\ would be unreinforced both immediately and in the long term[ Similarly\ a single act of self!control "refusing a single cigarette\ for