IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_2620
Label Język Typ
abstract of Symmetric Propositions and Logical Quantifiers en rdfs:label

Adnotacje

  • zawiera tekst
    • 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

Identyczne obiekty

Typy

Object properties

Data properties