Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (Q6149588)
From MaRDI portal
scientific article; zbMATH DE number 7800190
Language | Label | Description | Also known as |
---|---|---|---|
English | Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation |
scientific article; zbMATH DE number 7800190 |
Statements
Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation (English)
0 references
6 February 2024
0 references
bisequent calculus
0 references
four-valued logic
0 references
relevant logic
0 references
cut elimination
0 references
interpolation theorem
0 references
0 references
0 references
0 references
0 references
0 references