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
Characterization of the truth functions associated with formulas generated by one or two atoms based on the Gödel system - MaRDI portal

Characterization of the truth functions associated with formulas generated by one or two atoms based on the Gödel system (Q2791590)

From MaRDI portal





scientific article; zbMATH DE number 6556469
Language Label Description Also known as
English
Characterization of the truth functions associated with formulas generated by one or two atoms based on the Gödel system
scientific article; zbMATH DE number 6556469

    Statements

    0 references
    0 references
    0 references
    15 March 2016
    0 references
    Characterization of the truth functions associated with formulas generated by one or two atoms based on the Gödel system (English)
    0 references

    Identifiers