1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Albert Atserias, José L. Balcázar, Marie Ely Piceno
We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-l…