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...
| Publicado en: | Logic & Logical Philosophy Vol. 33; no. 3; pp. 463 - 507 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Sep2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |