9,785 research outputs found
Compositions of ternary relations
summary:In this paper, we introduce six basic types of composition of ternary relations, four of which are associative. These compositions are based on two types of composition of a ternary relation with a binary relation recently introduced by Zedam et al. We study the properties of these compositions, in particular the link with the usual composition of binary relations through the use of the operations of projection and cylindrical extension
Computer-Aided Discovery and Categorisation of Personality Axioms
We propose a computer-algebraic, order-theoretic framework based on
intuitionistic logic for the computer-aided discovery of personality axioms
from personality-test data and their mathematical categorisation into formal
personality theories in the spirit of F.~Klein's Erlanger Programm for
geometrical theories. As a result, formal personality theories can be
automatically generated, diagrammatically visualised, and mathematically
characterised in terms of categories of invariant-preserving transformations in
the sense of Klein and category theory. Our personality theories and categories
are induced by implicational invariants that are ground instances of
intuitionistic implication, which we postulate as axioms. In our mindset, the
essence of personality, and thus mental health and illness, is its invariance.
The truth of these axioms is algorithmically extracted from histories of
partially-ordered, symbolic data of observed behaviour. The personality-test
data and the personality theories are related by a Galois-connection in our
framework. As data format, we adopt the format of the symbolic values generated
by the Szondi-test, a personality test based on L.~Szondi's unifying,
depth-psychological theory of fate analysis.Comment: related to arXiv:1403.200
- …