Miodrag Rašković
YOU?
Author Swipe
View article: Completeness theorem for probability models with finitely many valued measure
Completeness theorem for probability models with finitely many valued measure Open
The aim of the paper is to prove the completeness theorem for probability models with finitely many valued measure.
View article: Optimization for classifying the patients using the logic measures for missing data
Optimization for classifying the patients using the logic measures for missing data Open
The aim of this paper is to show the system for making a decision in the diagnostics of the patients with autoimmune diseases. In this paper we consider the patients with systemic lupus erythematosus (SLE), Sy Sjogren and systemic sclerosi…
View article: On evaluations of propositional formulas in countable structures
On evaluations of propositional formulas in countable structures Open
Let L be a countable first-order language such that its set of constant symbols Const(L) is countable. We provide a complete infinitary propositional logic (formulas remain finite sequences of symbols, but we use inference rules with count…