2 citations · 3 across the 4 of their papers we have counts for
6 papers · 1 filter
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, João Marcos, Walther Neuper
The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favo…
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, Walther Neuper, João Marcos
This EPTCS volume contains the proceedings of the ThEdu'19 workshop, promoted on August 25, 2019, as a satellite event of CADE-27, in Natal, Brazil. Representing the eighth install…
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…
Sequent systems for negative modalities
Ori Lahav, João Marcos, Yoni Zohar
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the rep…
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…