12 citations · 12 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2021
An alternative axiomatic presentation of Nelson algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz Monteiro +1
Nelson algebras are defined in [Diana Brignole and António Monteiro. Caractérisation des algèbres de Nelson par des égalités. {I}, {II}. Proc. Japan Acad., 43:279--283; 284--285, 1…
math.LO2017
Proofs of some Propositions of the semi-Intuitionistic Logic with Strong Negation
Juan Manuel Cornejo, Ignacio Viglizzo
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.