7 citations · 19 across the 14 of their papers we have counts for
1 paper · 2 filters
Andrea Sorbi, Sebastiaan A. Terwijn
We study a class of formulas generalizing the weak law of the excluded middle, and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We u…