On the dependent conjunction and implication

Matthieu Herrmann, Alain Prouté

We give a theoretical model of conjunctions $E\wedge F$ and implications $E⟹F$ where $F$ is meaningful only when $E$ is true, a situation which is very often encountered in…