scientific article
From MaRDI portal
Publication:3708773
zbMath0584.03008MaRDI QIDQ3708773
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
implementationbackward proof tree generationlogics with modus ponensnon-resolutional theorem proving
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS ⋮ Gentzen's Proof Systems: Byproducts in a Work of Genius ⋮ ON FLATTENING ELIMINATION RULES ⋮ Admissibility of structural rules for contraction-free systems of intuitionistic logic ⋮ Representing scope in intuitionistic deductions ⋮ CUT FOR CLASSICAL CORE LOGIC
This page was built for publication:
