31 citations · 31 across the 6 of their papers we have counts for
14 papers
From inconsistency to incompatibility
Marcelo Esteban Coniglio, Guilherme Vicentin de Toledo
The aim of this article is to generalize logics of formal inconsistency (s) to systems dealing with the concept of incompatibility, expressed by means of a binary con…
Tableau systems for some Ivlev-like (quantified) modal logics
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work o…
Valuation semantics for first-order logics of evidence and truth (and some related logics)
H. Antunes, A. Rodrigues, W. Carnielli +1
This paper introduces the logic , a quantified extension of the logic of evidence and truth , together with a corresponding sound and complete first-order non-de…
On the expressive power of Lukasiewicz's square operator
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio +1
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: , where is the strong Lukasiewicz conjunction. In part…
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible…
Absolutely Free Hyperalgebras
Marcelo E. Coniglio, Guilherme V. Toledo
It is well known from universal algebra that, for every signature , there exist algebras over which are absolutely free, meaning that they do not satisfy any identities or,…