Introduction to formal preference spaces

DOI10.2478/FORMA-2013-0024zbMath1299.91036OpenAlexW2044912531MaRDI QIDQ467795

Adam Grabowski, Eliza Niewiadomska

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0024

zbMATH Keywords

social choicepreferencespreference spaces

Mathematics Subject Classification ID

Individual preferences (91B08) Consumer behavior, demand theory (91B42) Mechanization of proofs and logical operations (03B35) Social choice (91B14)

Related Items (3)

On multiset ordering ⋮ Formalizing two generalized approximation operators ⋮ Formalization of generalized almost distributive lattices.

Uses Software

• Mizar

Cites Work

• Utility Theory without the Completeness Axiom
• Unnamed Item
• Unnamed Item

This page was built for publication: Introduction to formal preference spaces