We investigate four well-known negative translations of classical logic ...
In this chapter we present a case study, drawn from our research work, o...
In this paper we introduce a term calculus B which adds to the
affine λ...
Continuous logic extends the multi-valued Lukasiewicz logic by adding a
...