Behavioural theories are a generalization of standard theories where the equality predicate is interpreted by an arbitrary (possibly partial) congruence relation, called behavioural equality. In this paper we first show how to reduce the behavioural theory of any class C of Σ-algebras to (a subset of) the standard theory of some corresponding class of algebras. Then we consider infinitary axiom...

In public good dilemmas, people often coordinate their decisions by applying the equality rule. Prior research has shown that if one member violates equality, negative emotions emerge among the other group members. In two experimental studies we investigated whether the presence of a violator also affects contribution decisions. A fi rst experiment demonstrated that a violation of equality does...

We characterize provability in intuitionistic logic with equality in terms of a constraint calculus. This characterization uncovers close connections between provability in intuitionistic logic with equality and solutions to simultaneous rigid E-uniication. We show that the problem of existence of a sequent proof with a given skeleton is polynomial-time equivalent to simultaneous rigid E-uniiab...

We introduce a new decision procedure for Equality Logic. The procedure improves on Bryant and Velev’s sparse method [4] from CAV’00, in which each equality predicate is encoded with a Boolean variable, and then a set of transitivity constraints are added to compensate for the loss of transitivity of equality. We suggest the Reduced Transitivity Constraints (rtc) algorithm, that unlike the spar...

This multi-national study hypothesized that higher levels of country-level gender equality would predict smaller differences in the frequency of women's compared to men's drinking in public (like bars and restaurants) settings and possibly private (home or party) settings. GENACIS project survey data with drinking contexts included 22 countries in Europe (8); the Americas (7); Asia (3); Austral...

International consensus on education priorities accords an important place to achieving gender justice in the educational sphere. Both the Dakar ‘Education for All’ goals and the Millennium Development goals emphasise two goals, in this regard. These two goals are distinguished as gender parity goals [achieving equal participation of girls and boys in all forms of education based on their propo...

ABSTRAKPenelitian ini mengkaji kedudukan wanita Bali dalam perkawinan Hindu di ditinjau dari Undang-Undang Republik Indonesia No. 7 Tahun 1984 dan perwujudan kesetaraan bagi warga negara Indonesia. Tujuan penelitian adalah untuk melakukan kajian tentang perlindungan hak-hak perempuan Bali. Alasan dilakukannya karena ketidaksetaraan gender antara laki-laki masyarakat patriarki. Penelitian menggu...