Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 1 of 1 for “"logički sistem"”.
-
Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji
… intervalu [a, b] ⊂ [0, 1]". Uvodimo sledeće sisteme: LKprob, LKprob(ε), NKprob i LKfuzz. Osnovna forma sekevnata u sistemu LKprob je Γ ⊢ b, a Δ sa gore datim značenjem. Sistem LKprob(ε) se fokusira na Suppes-ove forme Γ ⊢ n Δ koje omogućavaju formalizaciju rečenice "verovatnoća istinitosti …