8 citations · 17 across the 12 of their papers we have counts for
13 papers
Equivalence of finite non-deterministic logical matrices is undecidable
Carlos Caleiro, Pedro Filipe, Sérgio Marcelino
The notion of a non-deterministic logical matrix (where connectives are interpreted as multi-functions) extends the traditional semantics for propositional logics based on logical…
Some more theorems on structural entailment relations and non-deterministic semantics
Carlos Caleiro, Sérgio Marcelino, Umberto Rivieccio
We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations - nowadays more commonly called multiple-conclusion l…
Monadicity of Non-deterministic Logical Matrices is Undecidable
Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matri…
Modular many-valued semantics for combined logics
Carlos Caleiro, Sérgio Marcelino
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of su…
On axioms and rexpansions
Carlos Caleiro, Sérgio Marcelino
We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characteri…
A Robust Reputation-based Group Ranking System and its Resistance to Bribery
Joao Saude, Guilherme Ramos, Ludovico Boratto +1
The spread of online reviews and opinions and its growing influence on people's behavior and decisions, boosted the interest to extract meaningful information from this data deluge…