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
ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY - MaRDI portal

ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY

From MaRDI portal

Publication:5248986

Jump to:navigation, search

DOI10.1142/S0129054198000325zbMath1320.03037WikidataQ122861531 ScholiaQ122861531MaRDI QIDQ5248986

M. P. A. Sellink

Publication date: 29 April 2015

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

pure type systems automated theorem proving conservativity

Mathematics Subject Classification ID

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

Cites Work

On the adequacy of representing higher order intuitionistic logic as a pure type system

This page was built for publication: ON THE CONSERVATIVITY OF LEIBNIZ EQUALITY

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