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 logic; admissible rule; Harrop formulas; derivable rule; disjunction property for admissibility
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Structural completeness in many-valued logics with rational constants, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, A Tableau Method for Checking Rule Admissibility in S4, Unnamed Item, UNIFICATION IN INTERMEDIATE LOGICS
Cites Work