Uniform Cut-Free Bisequent Calculi for Three-Valued Logics.

We present a uniform characterisation of three-valued logics by means of a bisequent calculus (BSC). It is a generalised form of a sequent calculus (SC) where rules operate on the ordered pairs of ordinary sequents. BSC may be treated as the weakest kind of system in the rich family of generalised S...

Full description

Bibliographic Details

Published in:	Logic & Logical Philosophy Vol. 33; no. 3; pp. 463 - 507
Main Authors:	Indrzejczak, Andrzej, Petrukhin, Yaroslav
Format:	Article
Published:	Logic & Logical Philosophy Sep2024
Subjects:	Many-valued logic Calculi Calculus Logic Generalization
Online Access:	View this record in EBSCOhost