8 citations · 24 across the 10 of their papers we have counts for
4 papers · 1 filter
Quantum Logic as Classical Logic
Simon Kramer
We propose a semantic representation of the standard quantum logic QL within a classical, normal modal logic, and this via a lattice-embedding of orthomodular lattices into Boolean…
A Galois-Connection between Cattell's and Szondi's Personality Profiles
Simon Kramer
We propose a computable Galois-connection between, on the one hand, Cattell's 16-Personality-Factor (16PF) Profiles, one of the most comprehensive and widely-used personality measu…
Computer-Aided Discovery and Categorisation of Personality Axioms
Simon Kramer
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…
A Galois-Connection between Myers-Briggs' Type Indicators and Szondi's Personality Profiles
Simon Kramer
We propose a computable Galois-connection between Myers-Briggs' Type Indicators (MBTIs), the most widely-used personality measure for non-psychiatric populations (based on C.G. Jun…