8 citations · 24 across the 10 of their papers we have counts for
10 papers
A Modularity Bug in Java 8
Simon Kramer
We demonstrate a modularity bug in the interface system of Java 8 on the practical example of a textbook design of a modular interface for vector spaces. Our example originates in…
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…
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)
Simon Kramer
We produce a decidable super-intuitionistic normal modal logic of internalised intuitionistic (and thus disjunctive and monotonic) interactive proofs (LIiP) from an existing classi…