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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3033743

Jump to:navigation, search

zbMath0692.03019MaRDI QIDQ3033743

No author found.

Publication date: 1988

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

zbMATH Keywords

Lambek calculus natural language formal language type calculus syntactical structure

Mathematics Subject Classification ID

Logic of natural languages (03B65) Decidability of theories and sets of sentences (03B25) General logic (03B99)

Related Items (2)

A `natural logic' inference system using the Lambek calculus ⋮ Displacement logic for anaphora

This page was built for publication:

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