2 citations · 6 across the 10 of their papers we have counts for
11 papers
Intuitionistic K is a Bisimulation-Invariant Fragment of Intuitionistic First-Order Logic
Jim de Groot, João Marcos, Rodrigo Stefanes
We define the notion of IK-bisimulation between the relational semantics for the intuitionistic modal logic IK, and prove that IK arises as the IK-bisimulation-invariant fragment o…
Intrinsic and relative characterization results for logics with negative modalities
Jim de Groot, João Marcos, Rodrigo Stefanes
We introduce simulations for modal logics with subclassical negations and restoration modalities, establish an adequacy theorem, and prove intrinsic (Hennessy-Milner-type) and rela…
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…
What is a logical theory? On theories containing assertions and denials
Carolina Blasio, Carlos Caleiro, João Marcos
The standard notion of formal theory, in Logic, is in general biased exclusively towards assertion: it commonly refers only to collections of assertions that any agent who accepts…
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…
Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, Joao Marcos +1
Besides the better-known Nelson logic (N3) and paraconsistent logic (N4), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called S.…
Algebraic Semantics for Nelson's Logic S
Thiago Nascimento, Umberto Rivieccio, João Marcos +1
Besides the better-known Nelson's Logic and Paraconsistent Nelson's Logic, in "Negation and separation of concepts in constructive systems" (1959), David Nelson introduced a logic…
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…