Judgment aggregation in non-classical logics

2017/11/10 by Daniele Porello, Porello, Daniele
Computer Science · Economics, Econometrics and Finance · #Advanced Algebra and Logic #FOS: Computer and information sciences #Game Theory and Voting Systems #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge

paper · pdf · doi:10.48550/arxiv.1711.03742

openalex publication_date 2017/11/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgment aggregation in non-classical logics is that they offer a number of modelling choices to represent agents' reasoning in aggregation problems. By studying judgment aggregation in logics that are weaker than classical logic, we investigate whether some well-known impossibility results, that were tailored for classical logic, still apply to those weak systems.

Citations

• Untersuchungen �ber das logische Schlie�en. I
• Algebraic proof theory for substructural logics: Cut-elimination and completions
• The Mathematics of Sentence Structure
• Linear logic

Related

• An Abstract Algebraic Logic View on Judgment Aggregation
• Applying Fourier Analysis to Judgment Aggregation
• An Introductory Course to Judgment Aggregation
• Systematic judgment aggregators: An algebraic connection between social and logical structure
• Belief merging, judgment aggregation and some links with social choice theory