Ramon Llull was a Majorcan philosopher whose logical methods influenced Leibniz.
Find out more at: https://mathshistory.st-andrews.ac.uk/Biographies/Llull/