Introduction to formal preference spaces

DOI10.2478/FORMA-2013-0024MaRDI QIDQ467795zbMATH OpenOpenAlexFDO

Authors Eliza Niewiadomska, Adam Grabowski

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

preferencessocial choicepreference spaces

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 932575
• Preference modelling
• Preferences in abstract convex structures
• Representations of Preference Relations with Preutility Functions on Metric Spaces
• The constructive inequivalence of various notions of preference ordering

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Social choice and individual values
• Utility Theory without the Completeness Axiom

Cited in

(4)

• scientific article; zbMATH DE number 1984272 (Why is no real title available?)
• Formalization of generalized almost distributive lattices.
• On multiset ordering
• Formalizing two generalized approximation operators

Describes a project that uses

Uses Software

• Mizar

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467795)