Pages that link to "Item:Q4279242"
From MaRDI portal
The following pages link to Admissible and derivable rules in intuitionistic logic (Q4279242):
Displaying 7 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- (Q3384899) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Notes on my scientific life (Q6612807) (← links)
