5 citations · 13 across the 7 of their papers we have counts for
1 paper · 1 filter
Sara Ayhan
The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2…