12 citations · 12 across the 3 of their papers we have counts for
3 papers
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…
cs.AI2019★ 12 cited
An Approach to Characterize Graded Entailment of Arguments through a Label-based Framework
Maximiliano C. D. Budán, Gerardo I. Simari, Ignacio Viglizzo +1
Argumentation theory is a powerful paradigm that formalizes a type of commonsense reasoning that aims to simulate the human ability to resolve a specific problem in an intelligent…
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.