2 citations · 4 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Combining fragments of classical logic: When are interaction principles needed?
Carlos Caleiro, Sérgio Marcelino, João Marcos
We investigate the combination of fragments of classical logic as a way of conservatively extending a given Boolean logic by the addition of new connectives, and we precisely chara…
cs.LO2018
Semi-BCI Algebras
Regivan H. N. Santiago, Benjamin Bedregal, João Marcos +2
The notion of semi-BCI algebras is introduced and some of its properties are investigated. This algebra is another generalization for BCI-algebras. It arises from the "intervalizat…