2 papers
math.LO2025
Considerations on Everett J. Nelson's connexive logic
Davide Fazio, Raffaele Mascella
This work explores Everett John Nelson's connexive logic, outlined in his PhD thesis and partially summarized in his 1930 paper \emph{Intensional Relations}, which is obtained by e…
math.LO2025
A logical perspective on intending to keep a true secret
Alessandro Aldini, Davide Fazio, Pierluigi Graziani +2
Logical investigations of the notion of secrecy are typically concentrated on tools for deducing whether private information is well hidden from unauthorized, direct, or indirect a…