2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Sara Ayhan, Hrafn Valtýr Oddsson
We show the functional completeness for the connectives of the non-trivial negation inconsistent logic C by using a well-established method implementing purely proof-theoretic noti…