• Publications
  • Influence
Arithmetizations of Syllogistic à la Leibniz
  • V. Sotirov
  • Computer Science, Mathematics
  • J. Appl. Non Class. Logics
  • 1999
TLDR
Two models of the Aristotelian syllogistic in arithmetic of natural numbers are built as realizations of an old Leibniz idea, called Scholastic, where terms are replaced by integer terms in the interpretation. Expand
Evacuation of standard Young tableaux and divisors on metric graphs
We elaborate upon a bijection discovered by Cools, Draisma, Payne, and Robeva between the set of rectangular standard Young tableaux, and equivalence classes of chip configurations on certain metricExpand
Bulgaria mental health country profile
TLDR
Analysis extends to encompass the influence of the general health reform on the mental health sector, the deficits of the leadership and how they impact on the effectiveness of the system, and the interdependence between the country's economy and the health sector. Expand
Involutions on Standard Young Tableaux and Divisors on Metric Graphs
TLDR
An explicit formula is presented for computing the $v_0$-reduced divisors (representatives of the equivalence classes) associated to given tableaux, and it is proved that evacuation of tableaux corresponds (under the bijection) to reflecting the metric graph. Expand
Non-classical operations hidden in classical logic
  • V. Sotirov
  • Mathematics, Computer Science
  • J. Appl. Non Class. Logics
  • 1 January 2008
TLDR
It is shown that various non-classical connectives “hidden” in the classical logic in the form of G˛s with ˛ —a classical connective, and s—a propositional variable belong to the 4-valued logic of Lukasiewicz. Expand
Leibniz’s Logical Systems: A Reconstruction
The system of logic plays a central role in Leibniz’s methodology of science. According to his basic ideas, any scientific question should be posed in the form “Is S a P?”and its answer might beExpand
PROPERTIES OF THE DUAL CONE OF MONOMIAL-POSITIVE IMMANANTS
We investigate a cone in the symmetric group algebra introduced by Stembridge [2]. It is dual to the cone of monomial-positive immanants of n × n matrices with indeterminate entries. We present a newExpand
Non-democratic peculiarities of majority voting
...
1
2
...