On a weak conditional
José Luis Castiglioni (CONICET-UNLP) and Rodolfo C. Ertola-Biraben (CLE-Unicamp)
Abstract
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.
Colloquia Logicae 