Pages that link to "Item:Q1208115"
From MaRDI portal
The following pages link to The simple substitution property of the intermediate propositional logics on finite slices (Q1208115):
Displaying 5 items.
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- (Q4326748) (← links)
- Generalized tableau systems for intermediate propositional logics (Q4610314) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)