Marcelo E. Coniglio

most citedRestricted swap structures for da Costa's

C_{n}

and their category

1 citations · 1 across the 1 of their papers we have counts for

collaborators

Showing math.LOShow all

2 papers · 1 filter

math.LO2023

Normal proofs and tableaux for the Font-Rius tetravalent modal logic

Marcelo Coniglio, Martín Figallo

Tetravalent modal logic (T ML) was introduced by Font and Rius in 2000; and it is an expansion of the Belnap-Dunn four{valued logic FOUR, a logical system that is well{known for th…

math.LO2021★ 1 cited

Restricted swap structures for da Costa's $C_{n}$ 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…

Normal proofs and tableaux for the Font-Rius tetravalent modal logic

Restricted swap structures for da Costa's Cn​ and their category

Restricted swap structures for da Costa's $C_{n}$ and their category