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
Undecidability of intuitionistic theories formulated with the apartness relation - MaRDI portal

Undecidability of intuitionistic theories formulated with the apartness relation

From MaRDI portal

Publication:4141212

Jump to:navigation, search

DOI10.4064/FM-97-1-17-36zbMATH Open0365.02012OpenAlexW945099688MaRDI QIDQ4141212

Dov M. Gabbay

Publication date: 1977

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/215077

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (1)

The decision problem for some finite extensions of the intuitionistic theory of abelian groups

This page was built for publication: Undecidability of intuitionistic theories formulated with the apartness relation

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