Pages that link to "Item:Q4279242"
From MaRDI portal
The following pages link to Admissible and derivable rules in intuitionistic logic (Q4279242):
Displaying 13 items.
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- Lexicographic rationalizability and iterated admissibility (Q674075) (← 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)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- (Q3544729) (← links)
- (Q4325775) (← links)
- (Q4487248) (← links)
- Derivability of rules from rule complexes (Q4803956) (← links)
- Notes on my scientific life (Q6612807) (← links)