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
Towards a Behavioral Algebraic Theory of Logical Valuations - MaRDI portal

Towards a Behavioral Algebraic Theory of Logical Valuations

From MaRDI portal

Publication:3100162

Jump to:navigation, search

DOI10.3233/FI-2011-383zbMath1271.03092MaRDI QIDQ3100162

Carlos Caleiro, Ricardo Gonçalves

Publication date: 22 November 2011

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

zbMATH Keywords

algebraic logic logical matrix algebraic valuation semantics behavioral algebraization

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Related Items (1)

Abstract valuation semantics

This page was built for publication: Towards a Behavioral Algebraic Theory of Logical Valuations

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