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
∙
03/02/2012