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

scientific article; zbMATH DE number 1086631

From MaRDI portal

Publication:4362880

Jump to:navigation, search

zbMath0883.03051MaRDI QIDQ4362880

Ewa S. Orłowska

Publication date: 13 November 1997

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

zbMATH Keywords

proof systems algebras of relations relational logic formalisation of nonclassical logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Tableaux and dual tableaux: transformation of proofs ⋮ Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication:

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