Admissible and derivable rules in intuitionistic logic
From MaRDI portal
Publication:4279242
DOI10.1017/S0960129500000165zbMath0797.03001MaRDI QIDQ4279242
Publication date: 1993
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
intuitionistic logicadmissible ruleHarrop formulasderivable ruledisjunction property for admissibility
Related Items
UNIFICATION IN INTERMEDIATE LOGICS, A Tableau Method for Checking Rule Admissibility in S4, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Unnamed Item, Structural completeness in many-valued logics with rational constants
Cites Work