The following pages link to (Q4326748):
Displaying 6 items.
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- On the property of simple substitution for superintuitionistic propositional logics. (Q1432372) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
- Substituting strict equivalents (Q5213393) (← links)
