NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550)
From MaRDI portal
scientific article; zbMATH DE number 7374089
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC |
scientific article; zbMATH DE number 7374089 |
Statements
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (English)
0 references
22 July 2021
0 references
non-well-founded proofs
0 references
Grzegorczyk logic
0 references
cut-elimination
0 references
Lyndon interpolation
0 references
cyclic proofs
0 references
0 references
