8 citations · 36 across the 24 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic
Rob Arthan, Paulo Oliva
In this paper we introduce a term calculus which adds to the affine -calculus with pairing a new construct allowing for a restricted form of contraction. We obtain a…
cs.GT2018
On Rational Choice and the Representation of Decision Problems
Paulo Oliva, Philipp Zahn
In economic theory, an agent chooses from available alternatives -- modeled as a set. In decisions in the field or in the lab, however, agents do not have access to the set of alte…