Judgement aggregation in non-classical logics

DOI10.1080/11663081.2017.1368846zbMath1398.03102arXiv1711.03742OpenAlexW2964340136MaRDI QIDQ4586224

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

Lambek calculuslinear logicsocial choice theoryrelevant logicsubstructural logicsintuitionistic logicnon-classical logicsgroup decisionsjudgement aggregationnon-monotonic logics

Mathematics Subject Classification ID

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

Related Items

Logic and majority voting, Representing voting rules in Łukasiewicz’s three-valued logic

Uses Software

• Pesca

Cites Work

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