Judgement aggregation in non-classical logics

DOI10.1080/11663081.2017.1368846MaRDI QIDQ4586224zbMATH OpenOpenAlexFDO

Authors Daniele Porello

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.03742

zbMATH Keywords

group decisionsintuitionistic logicjudgement aggregationLambek calculuslinear logicnon-classical logicsnon-monotonic logicsrelevant logicsocial choice theorysubstructural logics

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Social choice (91B14)

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.

Recommendations

• Judgment aggregation in nonmonotonic logic
• A generalised model of judgment aggregation
• Logical constraints on judgement aggregation
• Logic aggregation
• The logic of group decisions: judgment aggregation

Cites work

• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
• A generalised model of judgment aggregation
• A Note on Negation in Categorial Grammar
• A Set of Independent Necessary and Sufficient Conditions for Simple Majority Decision
• Aggregation theory and the relevance of some issues to others
• Algebraic proof theory for substructural logics: cut-elimination and completions
• An Abstract Algebraic Logic View on Judgment Aggregation
• Axiomatizing collective judgment sets in a minimal logical language
• Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation
• Collective rationality in graph aggregation
• Complexity of judgment aggregation
• Consistent judgement aggregation: the truth-functional case
• Decidability of linear affine logic
• Handbook of philosophical logic. Vol. 5
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Informational semantics as a third alternative?
• Introduction to judgment aggregation
• Judgment aggregation
• Judgment aggregation in nonmonotonic logic
• Judgment aggregation without full rationality
• Linear logic
• Logic based merging
• Modelling Multilateral Negotiation in Linear Logic
• Natural deduction for modal logic of judgment aggregation
• Ontology merging as social choice: judgment aggregation under the open world assumption
• Proof nets for unit-free multiplicative-additive linear logic
• Proof theory for fuzzy logics
• Reasoning about collectively accepted group beliefs
• Robust normative systems and a logic of norm compliance
• Substructural logics: a primer
• The consistency of majority rule
• The doctrinal paradox, the discursive dilemma, and logical aggregation theory
• The handbook of rational and social choice. An overview of new foundations and applications.
• The Mathematics of Sentence Structure
• The possibility of judgment aggregation on agendas with subjunctive implications
• The premiss-based approach to judgment aggregation
• The structure of strategy-proof social choice. I: General characterization and possibility results on median spaces
• Universal algebra for general aggregation theory: many-valued propositional-attitude aggregators as MV-homomorphisms
• Untersuchungen über das logische Schliessen. I

Cited in

(8)

• Judgment aggregation in nonmonotonic logic
• Logic and majority voting
• Logic aggregation
• An Abstract Algebraic Logic View on Judgment Aggregation
• An Analytic Logic of Aggregation
• Judgment aggregation in dynamic logic of propositional assignments
• Representing voting rules in Łukasiewicz's three-valued logic
• Aggregating sets of judgments: two impossibility results compared. With a comment by Isaac Levi

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Judgement aggregation in non-classical logics

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