Sciweavers

KR
2010
Springer
14 years 5 months ago
Set-Oriented Logical Connectives: Syntax and Semantics
Of the common commutative binary logical connectives, only and and or may be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevan...
Stuart C. Shapiro