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
Converse Ackermann property and constructive negation defined with a negation connective - MaRDI portal

Converse Ackermann property and constructive negation defined with a negation connective

From MaRDI portal

Publication:5437781

Jump to:navigation, search

DOI10.12775/LLP.2006.007zbMath1134.03015MaRDI QIDQ5437781

No author found.

Publication date: 28 January 2008

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

relevance logics constructive negation converse Ackermann property relational ternary semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Current trends in substructural logics

This page was built for publication: Converse Ackermann property and constructive negation defined with a negation connective

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