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

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 metric… Expand

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

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

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

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 be… Expand

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 new… Expand