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
scientific article; zbMATH DE number 1870124 - MaRDI portal

scientific article; zbMATH DE number 1870124

From MaRDI portal

Publication:4792804

Jump to:navigation, search

DOI10.1023/A:1011215918556zbMath1034.03508MaRDI QIDQ4792804

Karel Lambert

Publication date: 17 February 2003

Published in: Minds and Machines (Search for Journal in Brave)

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial functions programming negative free logic predication positive free logic extensional proof of unsoundness proto-semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in computer science (03B70)

Related Items (1)

Major parts of speech

This page was built for publication:

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