2 articles tagged with #mathematical-logic. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.
Researchers have developed an algebraic (semantic) theory of anti-unification that extends abstraction and generalization from syntactic term-based systems to arbitrary algebras. This theoretical computer science advancement moves anti-unification beyond equational theories and establishes foundational properties compatible with homomorphisms and isomorphisms, with computability analysis for finite algebras.
A theoretical mathematics paper proves that strict majority voting rules cannot be completely described by any finite set of logical axioms, resolving a conjecture about the finite axiomatizability of measurable social decision frames. The research demonstrates that coherence violations in majority reasoning require arbitrarily long logical chains, meaning no bounded finite system can fully capture all properties of majority-based decision-making.
