UNITY is a simple programming logic to reason about distributed systems. It is especially attractive because of its elegant axiomatical style. Since its power is limited, people introduce variants to extends it with various new functionalities. However, in the axiomatical style it is easy to make a mistake: a seemingly very logical new inference rule may turn out to be unsound. Formal verificat...

duns scouts the famous theologian of thirteen century under the influence of avecina’s doctorine of “nature” on the basis of hierarchy of the unity presents a hypothesis and describes the unconditioned nature as minor unity and individual entities as numerical unity. as an celeberating hypothesis of“distinct forms” it accounts with the haeccity as the criterion of individuality of external enti...

Abstract The current article briefly presents a pilot machine-learning experiment on the classification of official texts addressed to lay readers with use support vector machine as baseline and fastText models. For this purpose, hand-crafted corpus was used, created by experts National Tax Customs Administration Hungary under office’s Public Accessibility Programme. contained sentences that we...

explanation of the multiplicity of the world and the way it was created from the beginning of existence is one the concerns of philosophers, including mullā ṣadrā. the discourse of the emanation of multiplicity from unity would be totally different with respect to the apparent words of ṣadrā, who believes in the gradational unity of existence and according to his specific viewpoint, believing i...

explaining the goal and way of creation and regarding god as a creator not as an agent, this paper has studied god`s unity in action meant by negating free and full agency from all but god. having proved the fact that the only real efficient of the universe is god, it explains the part of human being in what happens in his life with regard to predestination and destiny. as is understood, events...