Error message

Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /var/www/icsi/sites/all/modules/biblio/includes/biblio_theme.inc).

Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton Operators

Title	Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton Operators
Publication Type	Technical Report
Authors	Cantone, D., & Cutello V.

Google Scholar

Main menu

Error message

Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton Operators

Quick Links

Research Areas

Projects

Visitor Information

Follow ICSI

Search form

Main menu

Error message

Decision Procedures for Flat Set-Theorectical Syllogistics.I. General Union, Powerset and Singleton Operators

Quick Links

Research Areas

Projects

Visitor Information

Follow ICSI