Assuring and critical labels for relations between maximal consistent sets for interpretability logics (Q6336450)
From MaRDI portal
scientific article; zbMATH DE number 900504215
Language | Label | Description | Also known as |
---|---|---|---|
English | Assuring and critical labels for relations between maximal consistent sets for interpretability logics |
scientific article; zbMATH DE number 900504215 |
Statements
10 March 2020
0 references
math.LO
0 references