IRI
http://www.metaontology.pl/metaontology_populated.owl#abstract_2620
| Label | Language | Type |
|---|---|---|
| abstract of Symmetric Propositions and Logical Quantifiers | en | rdfs:label |
Annotations
-
has text
-
Symmetric propositions over domain and signature are characterized following Zermelo, and a correlation of such propositions with logical type- quantifiers over is described. Boolean algebras of symmetric propositions over and \ensuremath{\Sigma
-