Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Andrzej Indrzejczak, Yaroslav Petrukhin
We present a uniform characterisation of three-valued logics by means of the bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on th…