MathDB1 problem
- 0 votes0 replies0 views
Hereditary admissibility conjecture for hereditarily structurally complete intermediate logics
Let be an intermediate logic which is hereditarily structurally complete. Hereditary admissibility conjecture. Hereditary admissibility is equivalent to admissibility over .…