ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/Da-Halfter.pdf
diplom5000.dvi
“ + a“) |= GrantS1(“S1“, s, o, “ + a“) (B.1)
∧ GrantS2(“S2“, s, o, “ + a“)
GrantS3(“S3“, s, o, “ − a“) |= GrantS1(“S1“, s, o, “ − a“) (B.2)
∧ GrantS2(“S2“, s, o, “ − a“)
GrantS3(“S3“, s, o, “ + a“) |= [...] GrantS1(“S1“, s, o, “ + a“) (B.3)
∧ ¬GrantS2(“S2“, s, o, “ + a“)
∧ ¬GrantS2(“S2“, s, o, “ − a“)
GrantS3(“S3“, s, o, “ − a“) |= GrantS1(“S1“, s, o, “ − a“) (B.4)
∧ ¬GrantS2(“S2“, s, o, “ + a“)
∧ ¬GrantS2(“S2“ [...] re Widerspruch A und NOT A kann ein Faktum bilden:
So besitzt
signature(“file_id_a“, U) (3.10)
∧ ¬signature(“file_id_a“, V );
die Bedeutung
∃u ∈ A(U), v ∈ A(V ) : { signature(“file_id_a“, u) (3.11)
∧ …