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:3803080

Jump to:navigation, search

zbMath0656.03001MaRDI QIDQ3803080

John N. Martin

Publication date: 1987

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

zbMATH Keywords

formal semantics first-order logic propositional logic situational semantics Intensional logic Naive set theory Inductive systems Informal reasoning Metatheory set theoretic semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (4)

A study of the metatheory of assertoric syllogistic ⋮ Existence, Negation, and Abstraction in the Neoplatonic Hierarchy¹ ⋮ Stone-type representations and dualities for varieties of bisemilattices ⋮ Proclus and the Neoplatonic syllogistic

This page was built for publication:

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