Some properties of the operation x u y = (x -> y) -> ((y -> x) -> x) in a Hilbert algebra

Dan Dorin Tascau

Full Text:

PDF


DOI: https://doi.org/10.52846/ami.v34i0.227