research
∙
12/15/2022
Higher-order Games with Dependent Types
This paper generalises the notion of a higher-order game, by accounting ...
share
research
∙
12/03/2019
On the Herbrand Functional Interpretation
We show that the types of the witnesses in the Herbrand functional inter...
research
∙
11/29/2019
Negative Translations for Affine and Lukasiewicz Logic
We investigate four well-known negative translations of classical logic ...
research
∙
08/14/2019
Studying Algebraic Structures using Prover9 and Mace4
In this chapter we present a case study, drawn from our research work, o...
research
∙
09/12/2018
A Curry-Howard Correspondence for the Minimal Fragment of Łukasiewicz Logic
In this paper we introduce a term calculus B which adds to the affine λ...
research
∙
01/10/2018
Buying Online - A Characterization of Rational Buying Procedures
In decision theory, an agent chooses from a set of alternatives. When bu...
research
∙
03/02/2012