Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Towards structurally-free theorem proving - MaRDI portal

Towards structurally-free theorem proving

From MaRDI portal

Publication:4392659

Jump to:navigation, search

DOI10.1093/JIGPAL/6.3.425zbMath0906.03011OpenAlexW2077962407MaRDI QIDQ4392659

Marcelo Finger

Publication date: 22 February 1999

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/ec7a0289126586ee705840d9fdd44dc7cb19268e

zbMATH Keywords

algorithm theorem proving lambda calculus Gentzen systems decision procedure structurally free logics combinator rules equistructural transformations

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Towards structurally-free theorem proving

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4392659&oldid=18401875"