The categorical imperative: category theory as a foundation for deontic logic (Q472796): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2014.07.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2011126595
@@ Property / OpenAlex ID: W2011126595 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+Q3898475
@@ Property / cites work: Q3898475 / rank @@
+Normal rank
@@ Property / cites work @@
+Detachment and defeasibility in deontic logic
@@ Property / cites work: Detachment and defeasibility in deontic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus and its relational semantics: Completeness and incompleteness
+Normal rank
@@ Property / cites work @@
+Physics, Topology, Logic and Computation: A Rosetta Stone
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+*-Autonomous categories and linear logic
@@ Property / cites work: *-Autonomous categories and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Two adaptive logics of norm-propositions
@@ Property / cites work: Two adaptive logics of norm-propositions / rank @@
+Normal rank
@@ Property / cites work @@
+An inconsistency-adaptive deontic logic for normative conflicts
+Normal rank
@@ Property / cites work @@
+Softness of hypercoherences and MALL full completeness
+Normal rank
@@ Property / cites work @@
+Q4650576
@@ Property / cites work: Q4650576 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Architecture of a Normative System
@@ Property / cites work: A Logical Architecture of a Normative System / rank @@
+Normal rank
@@ Property / cites work @@
+Equational characterization of Nelson algebra
@@ Property / cites work: Equational characterization of Nelson algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Action negation and alternative reductions for dynamic deontic logics
+Normal rank
@@ Property / cites work @@
+Deontic epistemic stit logic distinguishing modes of mens rea
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Obligation, contracts, and negotiation: Outlining an approach
+Normal rank
@@ Property / cites work @@
+Completeness Results for Lambek Syntactic Calculus
+Normal rank
@@ Property / cites work @@
+Q5283974
@@ Property / cites work: Q5283974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353914
@@ Property / cites work: Q4353914 / rank @@
+Normal rank
@@ Property / cites work @@
+Fibered categories and the foundations of naive category theory
+Normal rank
@@ Property / cites work @@
+Q4329184
@@ Property / cites work: Q4329184 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic database constraints, violation and recovery
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Obligation
@@ Property / cites work: Conditional Obligation / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
+Normal rank
@@ Property / cites work @@
+Obligations with deadlines: a formalization in Dynamic Deontic Logic
+Normal rank
@@ Property / cites work @@
+Q5635426
@@ Property / cites work: Q5635426 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+<i>Normative Conflicts and The Logic of ‘Ought</i>’
+Normal rank
@@ Property / cites work @@
+Q5623658
@@ Property / cites work: Q5623658 / rank @@
+Normal rank
@@ Property / cites work @@
+Moral dilemmas and nonmonotonic logic
@@ Property / cites work: Moral dilemmas and nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394892
@@ Property / cites work: Q4394892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5422030
@@ Property / cites work: Q5422030 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Proper semantics for substructural logics, from a stalker theoretic point of view
+Normal rank
@@ Property / cites work @@
+Powerset Residuated Algebras and Generalized Lambek Calculus
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5338319
@@ Property / cites work: Q5338319 / rank @@
+Normal rank
@@ Property / cites work @@
+Dyadic deontic detachment
@@ Property / cites work: Dyadic deontic detachment / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for input/output logics
@@ Property / cites work: Constraints for input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Permission from an input/output perspective
@@ Property / cites work: Permission from an input/output perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394891
@@ Property / cites work: Q4394891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463933
@@ Property / cites work: Q4463933 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic Logic in Computer Science
@@ Property / cites work: Deontic Logic in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty reasoning: a categorical approach
+Normal rank
@@ Property / cites work @@
+Formal Philosophy and Legal Reasoning: The Validity of Legal Inferences
+Normal rank
@@ Property / cites work @@
+Q5283782
@@ Property / cites work: Q5283782 / rank @@
+Normal rank
@@ Property / cites work @@
+A dynamic deontic logic for complex contracts
@@ Property / cites work: A dynamic deontic logic for complex contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy Type Theory: Univalent Foundations of Mathematics
+Normal rank
@@ Property / cites work @@
+Q4385571
@@ Property / cites work: Q4385571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+A deontic logic of action
@@ Property / cites work: A deontic logic of action / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive logic with strong negation is a substructural logic. I
+Normal rank
@@ Property / cites work @@
+A deontic logic framework allowing for factual detachment
+Normal rank
@@ Property / cites work @@
+Contrary-to-Duty Imperatives and Conditional Obligation
+Normal rank
@@ Property / cites work @@
+The dynamic logic of permission
@@ Property / cites work: The dynamic logic of permission / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394895
@@ Property / cites work: Q4394895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342525
@@ Property / cites work: Q3342525 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of conditional obligation. Comments by Harry Beatty
+Normal rank
@@ Property / cites work @@
+Q5560264
@@ Property / cites work: Q5560264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4295371
@@ Property / cites work: Q4295371 / rank @@
+Normal rank
@@ Property / cites work @@
+Deontic logic and possible worlds semantics: A historical sketch
+Normal rank