2 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
Monadicity of Non-deterministic Logical Matrices is Undecidable
Pedro Filipe, Carlos Caleiro, Sérgio Marcelino
The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matri…
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…
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…
Merging fragments of classical logic
Carlos Caleiro, Sérgio Marcelino, João Marcos
We investigate the possibility of extending the non-functionally complete logic of a collection of Boolean connectives by the addition of further Boolean connectives that make the…