activity
20172025
most citedAn Approach to Characterize Graded Entailment of Arguments through a Label-based Framework

12 citations · 22 across the 12 of their papers we have counts for

collaborators
Showing 2017 · math.LOShow all

2 papers · 2 filters

math.LO2017★ 1 cited

A recursive formula for the number of semi-Heyting algebras definable on a finite chain

Luiz F. Monteiro, Juan Manuel Cornejo, Ignacio D. Viglizzo

We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with elements. This construction allows us to count them easily. We also com…

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.