NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC |
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
0.8349106
0 references
0.73897296
0 references
0.72518957
0 references
0.72093976
0 references
0.7140113
0 references
0.7123037
0 references
0 references
0 references
0 references
