-
102Nelson’s logic ????Logic Journal of the IGPL 28 (6): 1182-1206. 2020.Besides the better-known Nelson logic and paraconsistent Nelson logic, in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called $\mathcal{S}$. The logic $\mathcal{S}$ was originally presented by means of a calculus with infinitely many rule schemata and no semantics. We look here at the propositional fragment of $\mathcal{S}$, showing that it is algebraizable, in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive res…Read more
-
Universidad Nacional de Educación a DistanciaLogic, History and Philosophy of ScienceRegular Faculty
Universitat de Barcelona
PhD, 2007
Madrid, Community of Madrid, Spain
Areas of Specialization
Science, Logic, and Mathematics |
Areas of Interest
Science, Logic, and Mathematics |