31 citations · 37 across the 15 of their papers we have counts for
3 papers · 1 filter
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In 1988, Ivlev proposed four-valued non-deterministic semantics for modal logics in which the alethic T axiom holds good. Unfortunately, no completeness was proved. In previous wor…
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
Marcelo E. Coniglio, Tadeo G. Gomez, Martin Figallo
In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which…
Maximality in finite-valued Lukasiewicz logics defined by order filters
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert +1
In this paper we consider the logics obtained from the (n+1)-valued Lukasiewicz logics by taking the order filter generated by i/n as the set of designated elemen…