Inference rules using local contexts
From MaRDI portal
Publication:751642
DOI10.1007/BF00297249zbMath0715.03006MaRDI QIDQ751642
Publication date: 1988
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
sequent calculiinference rulesinteractive proof development systemslocal contextslocalized formulasordered connectives
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
IMPS: An updated system description ⋮ What holds in a context? ⋮ IMPS: An interactive mathematical proof system
Uses Software
Cites Work
This page was built for publication: Inference rules using local contexts
