Showing 1–2 of 2 results for author: Boričić, B
-
Arrow-Sen theory simplified
Authors:
Branislav Boričić
Abstract:
The traditional Arrow--Sen Social Choice Theory $\bf{TSCT}$ is a mathematical theory built apparently on higher--order formal language. In this paper, we propose a reformulation and reclassification of the $\bf{TSCT}$ axioms in order to obtain a simpler theory based on the first--order language axioms, keeping the spirit of original ideas. This new theory, called Simplified Social Choice Theory, d…
▽ More
The traditional Arrow--Sen Social Choice Theory $\bf{TSCT}$ is a mathematical theory built apparently on higher--order formal language. In this paper, we propose a reformulation and reclassification of the $\bf{TSCT}$ axioms in order to obtain a simpler theory based on the first--order language axioms, keeping the spirit of original ideas. This new theory, called Simplified Social Choice Theory, denoted by $\bf{SSCT}$, presents a sub--theory of $\bf{TSCT}$. Roughly speaking, we extract all quatifications over $n$--tuples of binary relations from the axioms of $\bf{TSCT}$ and move them to the meta--level obtaining a sub--theory $\bf{SSCT}$ of $\bf{TSCT}$. More accurately, we assign to each traditional higher--order axiom $\bf{TA}$ its simplified first--order version $\bf{SA}$ such that $\bf{TA}\vdash\bf{SA}$, i.e. $\bf{SA}$ can be logically derived from $\bf{TA}$. In this way we define a simpler and more accessible set of principles that provide a context in which we can prove many propositions analogous to well--known theorems including the Arrow's impossibility of Paretian non--dictatorship and Sen's impossibility of Paretian liberal. These simplifications are the result of decades of lecturing by the author with the aim of bridging the barriers between this beautiful complex theory and his students.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
On Boolean reliability algebra
Authors:
Branislav Boričić,
Mirjana Ilić,
Jelena Stanojević
Abstract:
In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the reliability algebra is a Boolean algebra. The reliability algebra seems an appropriate context for defining fuzziness measure i.e. membership function with reli…
▽ More
In this paper we consider systems which consist of binary components with known reliabilities. We discuss their algebraic properties and define the corresponding algebraic structure, which we call the reliability algebra. We prove that the reliability algebra is a Boolean algebra. The reliability algebra seems an appropriate context for defining fuzziness measure i.e. membership function with reliability values.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
