12 citations · 22 across the 12 of their papers we have counts for
12 papers
Free five-valued Nelson Algebras
Juan Manuel Cornejo, Andrés Gallardo, Luiz F. Monteiro +1
Five-valued Nelson algebras are those satisfying the condition: . We give alternative equations defining these algebras, and determine…
Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
Andrés Gallardo, Ignacio Viglizzo
In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial f…
A categorical representation of games
Fernando Tohmé, Ignacio Viglizzo
Strategic games admit a multi-graph representation, in which two kinds of relations, accessibility, and preferences, are used to describe how the players compare the possible outco…
Basic constructions in the categories of sets, sets with a binary relation on them, preorders, and posets
Ignacio Viglizzo
The purpose of this note is to work out the details of the concrete incarnation of a few categorical constructions (products, coproducts, pullbacks, pushouts, equalizers, coequaliz…
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…
A Categorial Equivalence for semi-Nelson algebras
Juan Manuel Cornejo, Andrés Gallardo, Ignacio Viglizzo
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters mu…
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…
Superrational types
Fernando Tohmé, Ignacio Viglizzo
We present a formal analysis of Douglas Hofstadter's concept of \emph{superrationality}. We start by defining superrationally justifiable actions, and study them in symmetric games…
Structural Relations of Symmetry among Players in Strategic Games
Fernando Tohmé, Ignacio Viglizzo
The notions of symmetry and anonymity in strategic games have been formalized in different ways in the literature. We propose a combinatorial framework to analyze these notions, us…
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…
Hasse diagrams of posets with up to 7 elements, and the number of posets with 10 elements, without the use of computer programs
Luiz F. Monteiro, Sonia Savini, Ignacio Viglizzo
Let be the set of all posets with elements. Let , be the number of all posets with elements possessing exactly antichains. We have…
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.