22/03/2017 — Rodolfo Ertola

On a weak conditional
José Luis Castiglioni (CONICET-UNLP) and Rodolfo C. Ertola-Biraben (CLE-Unicamp)


It is well known that the intuitionistic conditional implies distributivity, not being a conservative expansion of the logic of conjunction and disjunction. In our talk we examine a conditional without that behaviour. We mostly consider the question from an algebraic point of view. However, we give results concerning the corresponding sequent calculus, also taking into account an axiomatic approach.