2 citations · 6 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
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…
cs.LO2017★ 1 cited
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…