31 citations · 69 across the 27 of their papers we have counts for
5 papers · 1 filter
Restricted swap structures for da Costa's and their category
Marcelo E. Coniglio, Guilherme V. Toledo
In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize Nmatrices in the following sense: a RNmatrix is a Nmatrix together…
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,…