researchers with a paper here
collaborating institutions

1 paper

cs.LO2024

Uniform Cut-free Bisequent Calculi for Three-valued Logics

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…